The cat eats the rabbit. The cat is rough. The cat is round. The cat sees the cow. The cat sees the mouse. The cat visits the mouse. The cat visits the rabbit. The cow sees the mouse. The cow sees the rabbit. The cow visits the mouse. The mouse eats the rabbit. The mouse sees the cat. The mouse visits the cow. The rabbit eats the cat. The rabbit is round. If something sees the cat then the cat is kind. If the mouse sees the rabbit and the rabbit sees the mouse then the rabbit eats the mouse. If the cat eats the rabbit then the rabbit visits the cow. If something visits the mouse then it sees the cow. If something sees the cat and it is green then it is rough. If something sees the cow then the cow sees the rabbit.
The cow sees the mouse.
@0: The cat eats the rabbit.[(triple1)] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat sees the cow.[(triple4 OR ((triple6) -> rule4))] The cat sees the mouse.[(triple5)] The cat visits the mouse.[(triple6)] The cat visits the rabbit.[(triple7)] The cow sees the mouse.[(triple8)] The cow sees the rabbit.[(triple9 OR ((triple4) -> rule6) OR ((((triple10) -> rule4)) -> rule6) OR ((((triple6) -> rule4)) -> rule6))] The cow visits the mouse.[(triple10)] The mouse eats the rabbit.[(triple11)] The mouse sees the cat.[(triple12)] The mouse visits the cow.[(triple13)] The rabbit eats the cat.[(triple14)] The rabbit is round.[(triple15)] @1: The cat is kind.[(((triple12) -> rule1))] The cow sees the cow.[(((triple10) -> rule4))] The rabbit visits the cow.[(((triple1) -> rule3))]