Anne is big. Anne is furry. Anne is nice. Anne is rough. Anne is round. Anne is smart. Anne is white. Bob is furry. Bob is round. Bob is smart. If Anne is round and Anne is nice then Anne is white. Furry things are nice.
Bob is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule2))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7 OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple2) -> rule2)) -> rule1))] Bob is furry.[(triple8)] Bob is round.[(triple9)] Bob is smart.[(triple10)] @1: Bob is nice.[(((triple8) -> rule2))]