Anne is red. Anne is round. Anne is smart. Fiona is round. Gary is big. Gary is red. Harry is cold. If something is red then it is green. Furry, cold things are big. All cold things are red. If something is not cold then it is smart. If Anne is cold and Anne is big then Anne is green. If something is big then it is round. All green things are furry. If something is cold and not big then it is smart.
Harry is not big.