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