Bob is nice. Charlie is cold. Dave is smart. Harry is quiet. If Harry is cold then Harry is green. All quiet people are smart. If Harry is smart then Harry is cold. All nice people are round. If someone is round and nice then they are quiet. All green, smart people are round. Green people are furry. All smart, green people are round.
Charlie is not cold.