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