Gary is blue. Harry is red. Harry is young. If something is red then it is nice. Young, round things are big. If Harry is round and Harry is nice then Harry is red. All blue things are big. If Gary is blue then Gary is nice. If Harry is green then Harry is blue. Big, green things are nice. Nice things are blue.
Harry is not round.