Anne is blue. Anne is cold. Bob is furry. Gary is furry. Gary is round. Harry is blue. Harry is round. Rough, round things are green. If something is blue and furry then it is rough. Rough, round things are kind. If Harry is kind and Harry is round then Harry is rough. If something is rough then it is round. All cold things are blue. Blue, rough things are furry. Round, cold things are blue. If something is furry then it is cold.
Bob is not blue.