Erin is nice. Erin is red. Erin is round. Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is smart. Gary is cold. Gary is nice. If something is red and round then it is cold. If something is green then it is big. If Gary is smart then Gary is round. If something is cold and round then it is green. If something is big then it is green. All red, nice things are cold. If something is nice and smart then it is big. Big, green things are round.
Gary is not big.