The cat eats the mouse. The cat is rough. The cat is round. The cat needs the mouse. The dog is rough. The dog needs the mouse. The dog visits the cat. The dog visits the mouse. The dog visits the rabbit. The mouse eats the rabbit. The mouse is blue. The mouse needs the dog. The mouse visits the rabbit. The rabbit eats the cat. The rabbit eats the mouse. If someone is blue then they visit the mouse.
The mouse does not visit the mouse.
@0: The cat eats the mouse.[(triple1)] The cat is rough.[(triple2)] The cat is round.[(triple3)] The cat needs the mouse.[(triple4)] The dog is rough.[(triple5)] The dog needs the mouse.[(triple6)] The dog visits the cat.[(triple7)] The dog visits the mouse.[(triple8)] The dog visits the rabbit.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is blue.[(triple11)] The mouse needs the dog.[(triple12)] The mouse visits the rabbit.[(triple13)] The rabbit eats the cat.[(triple14)] The rabbit eats the mouse.[(triple15)] @1: The mouse visits the mouse.[(((triple11) -> rule1))]