The bear chases the cow. The bear eats the cow. The bear is nice. The bear needs the cow. The cow chases the bear. The cow is round. The cow needs the bear. If something is nice and it eats the cow then the cow chases the bear. If something eats the bear then it is red. If something eats the cow and it chases the bear then the cow needs the bear. If something chases the cow then it eats the bear. If something is round and it needs the bear then it eats the bear. If the bear eats the cow then the cow eats the bear.
The cow chases the bear.
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is nice.[(triple3)] The bear needs the cow.[(triple4)] The cow chases the bear.[(triple5 OR ((triple3 triple2) -> rule1))] The cow is round.[(triple6)] The cow needs the bear.[(triple7)] @1: The bear eats the bear.[(((triple1) -> rule4))] The cow eats the bear.[(((triple2) -> rule6) OR ((triple6 triple7) -> rule5))] @2: The bear is red.[(((((triple1) -> rule4)) -> rule2))] The cow is red.[(((((triple2) -> rule6)) -> rule2) OR ((((triple6 triple7) -> rule5)) -> rule2))]