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