The cat eats the mouse. The cat is green. The cat is kind. The cat is not red. The cat is not round. The cat is not young. The cat likes the mouse. The cat does not visit the mouse. The mouse eats the cat. The mouse is green. The mouse is kind. The mouse is red. The mouse is round. The mouse is not young. The mouse does not like the cat. The mouse visits the cat. If something eats the cat then it visits the mouse. If something visits the cat then the cat is not round. If the cat likes the mouse then the cat eats the mouse. If the cat likes the mouse and the mouse eats the cat then the cat eats the mouse. If something likes the cat and it visits the cat then the cat is green. If the mouse eats the cat and the mouse is not kind then the cat visits the mouse.
The cat visits the mouse.
@0: The cat does not visit the mouse.[(triple8)] The cat eats the mouse.[(triple1 OR ((triple7) -> rule3) OR ((triple7 triple9) -> rule4))] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is not red.[(triple4)] The cat is not round.[(triple5 OR ((triple16) -> rule2))] The cat is not young.[(triple6)] The cat likes the mouse.[(triple7)] The mouse does not like the cat.[(triple15)] The mouse eats the cat.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse is not young.[(triple14)] The mouse is red.[(triple12)] The mouse is round.[(triple13)] The mouse visits the cat.[(triple16)] @1: The mouse visits the mouse.[(((triple9) -> rule1))]