A Liouville Type Theorem for Carnot Groups: A Case Study