The cat eats the dog. The dog is green. The mouse is round. If something eats the cat then it is green. If something visits the cat and the cat eats the mouse then the mouse chases the dog. All rough things are red. If something is red then it eats the cat. If something eats the cat and the cat is round then the cat visits the dog. All round things are red.
The mouse does not eat the cat.
@0: The cat eats the dog.[(triple1)] The dog is green.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is red.[(((triple3) -> rule6))] @2: The mouse eats the cat.[(((((triple3) -> rule6)) -> rule4))] @3: The mouse is green.[(((((((triple3) -> rule6)) -> rule4)) -> rule1))]