The cow chases the dog. The cow chases the mouse. The cow is round. The cow likes the mouse. The cow visits the dog. The dog likes the cow. The dog likes the mouse. The dog visits the cow. The mouse chases the cow. The mouse is big. The mouse is round. The mouse is young. The mouse likes the dog. The mouse visits the cow. The mouse visits the dog. If something is kind and it visits the mouse then the mouse likes the dog. If something chases the cow and the cow visits the dog then it chases the mouse. If something chases the mouse then the mouse is big.
The mouse is round.
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The cow visits the dog.[(triple5)] The dog likes the cow.[(triple6)] The dog likes the mouse.[(triple7)] The dog visits the cow.[(triple8)] The mouse chases the cow.[(triple9)] The mouse is big.[(triple10 OR ((triple2) -> rule3) OR ((((triple9 triple5) -> rule2)) -> rule3))] The mouse is round.[(triple11)] The mouse is young.[(triple12)] The mouse likes the dog.[(triple13)] The mouse visits the cow.[(triple14)] The mouse visits the dog.[(triple15)] @1: The mouse chases the mouse.[(((triple9 triple5) -> rule2))]