The cat is big. The mouse is cold. The squirrel eats the mouse. The tiger is big. If something visits the cat then the cat eats the tiger. Big things are rough. If something eats the tiger then the tiger needs the mouse. If something eats the mouse then the mouse visits the cat. If something is nice and big then it visits the mouse. If something visits the cat then it is nice.
The mouse is nice.
@0: The cat is big.[(triple1)] The mouse is cold.[(triple2)] The squirrel eats the mouse.[(triple3)] The tiger is big.[(triple4)] @1: The cat is rough.[(((triple1) -> rule2))] The mouse visits the cat.[(((triple3) -> rule4))] The tiger is rough.[(((triple4) -> rule2))] @2: The cat eats the tiger.[(((((triple3) -> rule4)) -> rule1))] The mouse is nice.[(((((triple3) -> rule4)) -> rule6))] @3: The tiger needs the mouse.[(((((((triple3) -> rule4)) -> rule1)) -> rule3))]