Bob is cold. Bob is furry. Charlie is big. Charlie is not cold. Charlie is furry. Charlie is not nice. Charlie is red. Charlie is not round. Charlie is smart. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is round. Harry is smart. If Bob is round then Bob is not big. If Bob is furry and Bob is not nice then Bob is smart. If Charlie is nice and Charlie is not red then Charlie is cold.
Charlie is not smart.