Bob is cold. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is round. Gary is kind. Gary is rough. Harry is big. Harry is cold. Harry is green. Harry is kind. Red people are round. If someone is big then they are green. If someone is round then they are rough. If someone is cold then they are big. If Erin is red then Erin is cold. If someone is rough and round then they are green. If someone is cold and green then they are red.
Gary is not red.