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