The cat is red. The dog is not red. The mouse is blue. If something sees the dog then the dog eats the cat. If something eats the mouse and it does not see the cat then the mouse is red. If something is young then it does not see the dog. If something sees the cat then the cat is young. If something eats the mouse then the mouse is young. If something is blue then it eats the mouse.
The mouse does not eat the cat.
@0: The cat is red.[(triple1)] The dog is not red.[(triple2)] The mouse is blue.[(triple3)] @1: The mouse eats the mouse.[(((triple3) -> rule6))] @2: The mouse is young.[(((((triple3) -> rule6)) -> rule5))] @3: The mouse does not see the dog.[(((((((triple3) -> rule6)) -> rule5)) -> rule3))]