The cat is round. The dog visits the cat. The mouse is not young. If someone visits the cat then they eat the dog. If someone is young and they eat the dog then the dog is red. If the dog visits the cat and the cat is young then the cat is rough. If the dog does not see the cat and the dog is not green then the dog eats the mouse. If someone is young then they see the dog. If the cat is green then the cat eats the mouse. If someone eats the dog then the dog is round. If someone eats the cat and they are not round then they visit the mouse.
The cat sees the mouse.
@0: The cat is round.[(triple1)] The dog visits the cat.[(triple2)] The mouse is not young.[(triple3)] @1: The dog eats the dog.[(((triple2) -> rule1))] @2: The dog is round.[(((((triple2) -> rule1)) -> rule7))]