The bear chases the cow. The bear is young. The cow is big. The cow is red. The cow is rough. The cow sees the dog. The cow visits the dog. The dog chases the bear. The dog chases the cow. The dog is green. If something sees the dog then the dog chases the bear. If something visits the dog and the dog chases the bear then the bear sees the cow. If something sees the dog and it chases the cow then the cow is red. If something sees the bear and it is big then it is red. If something sees the cow then it sees the dog. If something is young and it chases the bear then it visits the dog.
The bear sees the cow.
@0: The bear chases the cow.[(triple1)] The bear is young.[(triple2)] The cow is big.[(triple3)] The cow is red.[(triple4 OR ((((((triple7 triple8) -> rule2)) -> rule5) triple1) -> rule3) OR ((((((triple7 ((triple6) -> rule1)) -> rule2)) -> rule5) triple1) -> rule3))] The cow is rough.[(triple5)] The cow sees the dog.[(triple6)] The cow visits the dog.[(triple7)] The dog chases the bear.[(triple8 OR ((triple6) -> rule1))] The dog chases the cow.[(triple9)] The dog is green.[(triple10)] @1: The bear sees the cow.[(((triple7 triple8) -> rule2) OR ((triple7 ((triple6) -> rule1)) -> rule2))] @2: The bear sees the dog.[(((((triple7 triple8) -> rule2)) -> rule5) OR ((((triple7 ((triple6) -> rule1)) -> rule2)) -> rule5))]