Anne is blue. Anne is furry. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Bob is furry. Bob is nice. Bob is smart. Gary is quiet. Gary is rough. Gary is smart. If Anne is quiet and Anne is furry then Anne is young. Quiet things are rough.
Gary is nice.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple3) -> rule2))] Anne is smart.[(triple5)] Anne is young.[(triple6 OR ((triple3 triple2) -> rule1))] Bob is furry.[(triple7)] Bob is nice.[(triple8)] Bob is smart.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((triple10) -> rule2))] Gary is smart.[(triple12)]