Anne is blue. Anne is kind. Bob is big. Bob is blue. Bob is green. Bob is kind. Gary is blue. Gary is green. Gary is kind. Harry is blue. Harry is red. Harry is smart. If something is red and smart then it is cold. All green, big things are red. If something is big and blue then it is cold. All kind things are smart. All blue, green things are red. If something is cold then it is green. If Anne is smart and Anne is cold then Anne is green. Smart things are big. If something is red and blue then it is smart.
Gary is big.