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