Anne is green. Dave is big. Dave is cold. Dave is nice. Gary is green. Gary is nice. Gary is quiet. Harry is blue. Harry is nice. Harry is quiet. All quiet things are smart. If something is smart and green then it is cold. All quiet, big things are green. Blue, green things are nice. If Anne is blue and Anne is smart then Anne is big. If something is green then it is big. If something is big and nice then it is quiet. Big things are blue.
Harry is cold.