Charlie is cold. Charlie is quiet. Dave is cold. Dave is green. Dave is rough. Dave is smart. Erin is green. Erin is rough. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. All rough, smart people are green. All quiet, smart people are cold. If Erin is rough and Erin is green then Erin is smart. If Charlie is smart then Charlie is quiet. If someone is furry and rough then they are quiet. If someone is green and nice then they are furry. All quiet, cold people are rough. All cold, green people are nice. Smart, rough people are furry.
Charlie is nice.