The cat eats the dog. The cat sees the dog. The cat visits the dog. The dog is green. The dog is rough. The dog is young. The dog does not see the cat. The mouse does not eat the cat. The mouse eats the dog. The mouse is blue. The mouse is cold. The mouse is not green. The mouse sees the cat. The mouse sees the dog. The mouse visits the cat. The mouse visits the dog. If something visits the mouse and the mouse does not see the cat then it visits the cat. If the mouse sees the cat and the mouse visits the cat then the mouse eats the dog. If something is young then it does not eat the cat.
The cat does not visit the cat.
@0: The cat eats the dog.[(triple1)] The cat sees the dog.[(triple2)] The cat visits the dog.[(triple3)] The dog does not see the cat.[(triple7)] The dog is green.[(triple4)] The dog is rough.[(triple5)] The dog is young.[(triple6)] The mouse does not eat the cat.[(triple8)] The mouse eats the dog.[(triple9 OR ((triple13 triple15) -> rule2))] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is not green.[(triple12)] The mouse sees the cat.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the cat.[(triple15)] The mouse visits the dog.[(triple16)] @1: The dog does not eat the cat.[(((triple6) -> rule3))]