Anne is blue. Anne is furry. Anne is rough. Anne is smart. Dave is cold. Dave is furry. Dave is smart. Fiona is big. Fiona is furry. Fiona is green. Fiona is rough. Fiona is smart. Harry is furry. Harry is smart. Smart, green things are big. All cold things are furry. If Harry is smart and Harry is cold then Harry is rough. If something is smart then it is rough. Smart things are furry. If Harry is furry then Harry is rough. If something is rough then it is blue. All cold things are green. Blue, smart things are cold.
Harry is not smart.