The cow chases the mouse. The cow is blue. The cow is green. The cow is kind. The cow is nice. The cow is round. The cow likes the mouse. The cow needs the mouse. The mouse chases the cow. The mouse is blue. The mouse is green. The mouse is nice. The mouse is round. The mouse likes the cow. The mouse needs the cow. If something chases the mouse and the mouse chases the cow then it likes the mouse.
The mouse does not like the mouse.
@0: The cow chases the mouse.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is nice.[(triple5)] The cow is round.[(triple6)] The cow likes the mouse.[(triple7 OR ((triple1 triple9) -> rule1))] The cow needs the mouse.[(triple8)] The mouse chases the cow.[(triple9)] The mouse is blue.[(triple10)] The mouse is green.[(triple11)] The mouse is nice.[(triple12)] The mouse is round.[(triple13)] The mouse likes the cow.[(triple14)] The mouse needs the cow.[(triple15)]