Anne is rough. Fiona is big. Gary is blue. Gary is red. Harry is cold. Harry is rough. Harry is smart. All red things are blue. If something is rough and red then it is smart. All nice things are red. If something is rough then it is smart. If Harry is blue and Harry is red then Harry is cold. If Anne is blue then Anne is rough. Blue things are big. If something is rough then it is nice.
Gary is not red.