Anne is big. Anne is red. Anne is rough. Anne is round. Erin is big. Erin is rough. Erin is round. Gary is cold. Gary is nice. Gary is red. Gary is round. Harry is cold. If Gary is cold and Gary is nice then Gary is rough. All big, rough people are nice. All nice people are red.
Gary is not cold.