Anne is cold. Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is smart. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is smart. Harry is cold. Harry is kind. Harry is red. If someone is furry and nice then they are smart. If Anne is smart then Anne is nice. All blue people are red. Red people are blue. All nice, smart people are blue. Nice, blue people are red. If someone is nice and cold then they are furry. If someone is smart and red then they are cold.
Harry is nice.