Eric is young. Eric is rough. Eric is green. Fred is rough. Fred is green. Gary is cold. Gary is blue. Gary is big. Harry is green. If someone is big and cold then they are blue. If someone is young and rough then they are big. If someone is round and green and red then they are rough. If someone is big and cold then they are red. If someone is rough and young and big then they are cold. If someone is nice and blue and red then they are big.
Gary is not big.