The squirrel visits the tiger. The tiger visits the squirrel. If something sees the tiger then the tiger is green. If something eats the squirrel then the squirrel sees the tiger. If something visits the squirrel and it eats the tiger then it sees the tiger. If something is cold then it visits the squirrel. If the squirrel sees the tiger then the tiger is nice. If something visits the tiger then the tiger eats the squirrel.
The tiger visits the squirrel.
@0: The squirrel visits the tiger.[(triple1)] The tiger visits the squirrel.[(triple2)] @1: The tiger eats the squirrel.[(((triple1) -> rule6))] @2: The squirrel sees the tiger.[(((((triple1) -> rule6)) -> rule2))] @3: The tiger is green.[(((((((triple1) -> rule6)) -> rule2)) -> rule1))] The tiger is nice.[(((((((triple1) -> rule6)) -> rule2)) -> rule5))]