Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Bob is cold. Bob is green. Bob is nice. Bob is red. Bob is rough. Gary is cold. Gary is green. Gary is nice. Gary is round. All red people are blue. All red, cold people are nice. Round, rough people are blue. If someone is rough and green then they are red. If Bob is blue and Bob is round then Bob is cold. If someone is cold then they are blue. All cold people are round. Blue people are rough.
Gary is not cold.