The dog chases the mouse. The dog eats the tiger. The dog is young. The mouse is round. The mouse is young. The tiger is round. The tiger visits the mouse. If someone visits the dog then they visit the mouse. If someone chases the dog and the dog chases the mouse then they chase the tiger. If someone eats the mouse then the mouse chases the tiger. If someone eats the mouse then the mouse chases the dog. If someone chases the mouse and the mouse is young then the mouse eats the dog. If the dog is young then the dog eats the mouse. All nice people are young. If someone is cold then they eat the tiger.
The dog does not chase the tiger.
@0: The dog chases the mouse.[(triple1)] The dog eats the tiger.[(triple2)] The dog is young.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)] The tiger is round.[(triple6)] The tiger visits the mouse.[(triple7)] @1: The dog eats the mouse.[(((triple3) -> rule6))] The mouse eats the dog.[(((triple1 triple5) -> rule5))] @2: The mouse chases the dog.[(((((triple3) -> rule6)) -> rule4))] The mouse chases the tiger.[(((((triple3) -> rule6)) -> rule3) OR ((((((triple3) -> rule6)) -> rule4) triple1) -> rule2))]