The cat is nice. The cat is rough. The cat visits the dog. The dog does not visit the cat. The mouse eats the cat. The mouse is not round. The mouse sees the dog. If something eats the cat then it does not visit the dog. If something sees the mouse and the mouse is round then the mouse sees the cat. Nice, green things are rough.
The dog visits the cat.
@0: The cat is nice.[(triple1)] The cat is rough.[(triple2)] The cat visits the dog.[(triple3)] The dog does not visit the cat.[(triple4)] The mouse eats the cat.[(triple5)] The mouse is not round.[(triple6)] The mouse sees the dog.[(triple7)] @1: The mouse does not visit the dog.[(((triple5) -> rule1))]