Anne is blue. Anne is cold. Anne is furry. Anne is red. Anne is round. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is round. All rough, red things are cold.
Anne is not red.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8 OR ((triple11 triple10) -> rule1))] Gary is furry.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)]