Alan is round. Alan is red. Alan is kind. Alan is blue. Alan is big. Bob is red. Fred is red. Gary is nice. Gary is green. Gary is cold. Gary is big. If someone is cold and green and red then they are rough. If someone is big and cold then they are green. If someone is red and big and kind then they are cold. If someone is kind and red and big then they are nice. If someone is cold and red then they are green. If someone is round and rough and big then they are nice. If someone is nice and big and rough then they are red.
Gary is not nice.