Anne is furry. Bob is rough. Bob is not white. Fiona is green. Fiona is rough. Gary is not cold. Gary is not furry. Gary is green. Gary is rough. Gary is smart. If someone is white and furry then they are rough. Furry, smart people are cold. If Bob is red and Bob is not cold then Bob is green.
Gary is not furry.
@0: Anne is furry.[(triple1)] Bob is not white.[(triple3)] Bob is rough.[(triple2)] Fiona is green.[(triple4)] Fiona is rough.[(triple5)] Gary is green.[(triple8)] Gary is not cold.[(triple6)] Gary is not furry.[(triple7)] Gary is rough.[(triple9)] Gary is smart.[(triple10)]