The cow chases the mouse. The cow eats the dog. The cow is kind. The cow is red. The cow sees the dog. The cow sees the mouse. The dog chases the cow. The dog eats the mouse. The dog is blue. The dog is red. The dog is young. The mouse sees the dog. If something chases the cow then the cow eats the dog. If something sees the dog and the dog is red then it sees the cow.
The mouse eats the dog.
@0: The cow chases the mouse.[(triple1)] The cow eats the dog.[(triple2 OR ((triple7) -> rule1))] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow sees the dog.[(triple5)] The cow sees the mouse.[(triple6)] The dog chases the cow.[(triple7)] The dog eats the mouse.[(triple8)] The dog is blue.[(triple9)] The dog is red.[(triple10)] The dog is young.[(triple11)] The mouse sees the dog.[(triple12)] @1: The cow sees the cow.[(((triple5 triple10) -> rule2))] The mouse sees the cow.[(((triple12 triple10) -> rule2))]