The cow eats the mouse. The cow is cold. The cow is round. The cow likes the mouse. The dog eats the cow. The dog is cold. The dog likes the cow. The dog likes the mouse. The mouse chases the cow. The mouse is kind. The mouse is red. The mouse likes the cow. If the cow chases the mouse and the mouse is kind then the mouse eats the cow. If something chases the cow then it does not like the mouse. If the cow likes the mouse then the cow chases the mouse. If the mouse eats the dog and the cow does not like the mouse then the cow eats the mouse. If the cow eats the mouse and the mouse does not eat the cow then the mouse does not like the dog. If something is rough and it likes the dog then the dog likes the mouse.
The mouse does not eat the mouse.
@0: The cow eats the mouse.[(triple1)] The cow is cold.[(triple2)] The cow is round.[(triple3)] The cow likes the mouse.[(triple4)] The dog eats the cow.[(triple5)] The dog is cold.[(triple6)] The dog likes the cow.[(triple7)] The dog likes the mouse.[(triple8)] The mouse chases the cow.[(triple9)] The mouse is kind.[(triple10)] The mouse is red.[(triple11)] The mouse likes the cow.[(triple12)] @1: The cow chases the mouse.[(((triple4) -> rule3))] The mouse does not like the mouse.[(((triple9) -> rule2))] @2: The mouse eats the cow.[(((((triple4) -> rule3) triple10) -> rule1))]