The dog visits the mouse. The mouse is cold. The mouse is young. If the dog visits the mouse then the dog is young. If the dog needs the mouse then the dog is young. If the dog eats the mouse then the dog is red. If something eats the dog and it does not need the dog then the dog eats the mouse. If something is young then it needs the mouse. If something is young and it does not eat the mouse then the mouse is not nice.
The dog does not need the mouse.
@0: The dog visits the mouse.[(triple1)] The mouse is cold.[(triple2)] The mouse is young.[(triple3)] @1: The dog is young.[(((triple1) -> rule1))] The mouse needs the mouse.[(((triple3) -> rule5))] @2: The dog needs the mouse.[(((((triple1) -> rule1)) -> rule5))]