Anne is big. Anne is cold. Anne is furry. Anne is rough. Anne is round. Anne is smart. Bob is cold. Gary is cold. Gary is furry. Gary is green. Gary is rough. Gary is smart. If something is green then it is rough. Big things are round.
Bob is not round.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple1) -> rule2))] Anne is smart.[(triple6)] Bob is cold.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is rough.[(triple11 OR ((triple10) -> rule1))] Gary is smart.[(triple12)]