Bob is big. Bob is blue. Bob is green. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is quiet. If Bob is kind then Bob is nice. Red things are blue. If something is green and quiet then it is nice. If something is red and nice then it is kind. All blue, big things are red. If something is blue and nice then it is big. Kind things are blue. All nice, kind things are quiet.
Gary is red.