The cat eats the mouse. The cat is rough. The cow eats the rabbit. The cow is kind. The cow likes the cat. The cow sees the cat. The mouse eats the cat. The mouse is nice. The mouse likes the cat. The mouse likes the cow. The mouse sees the cow. The mouse sees the rabbit. The rabbit is kind. The rabbit likes the cat. The rabbit likes the cow. The rabbit likes the mouse. If the cat eats the rabbit and the cat sees the rabbit then the rabbit sees the cow. If something is rough then it likes the mouse. If something eats the rabbit and the rabbit sees the cat then the cat likes the rabbit. If something eats the cow and the cow is round then it eats the cat. If something sees the rabbit then the rabbit eats the cat. If something sees the cat and the cat eats the mouse then the mouse sees the cow.
The cat does not eat the mouse.
@0: The cat eats the mouse.[(triple1)] The cat is rough.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is kind.[(triple4)] The cow likes the cat.[(triple5)] The cow sees the cat.[(triple6)] The mouse eats the cat.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the cat.[(triple9)] The mouse likes the cow.[(triple10)] The mouse sees the cow.[(triple11 OR ((triple6 triple1) -> rule6))] The mouse sees the rabbit.[(triple12)] The rabbit is kind.[(triple13)] The rabbit likes the cat.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit likes the mouse.[(triple16)] @1: The cat likes the mouse.[(((triple2) -> rule2))] The rabbit eats the cat.[(((triple12) -> rule5))]