The lion eats the tiger. The lion sees the tiger. The lion visits the squirrel. The squirrel does not visit the tiger. The tiger eats the lion. The tiger eats the squirrel. The tiger visits the squirrel. If the tiger is green and the squirrel does not visit the tiger then the squirrel sees the lion. If something is young then it eats the lion. If something eats the lion then it is young. If something visits the lion and the lion is green then it sees the tiger. If something eats the tiger then the tiger visits the lion. If something visits the tiger and it is not big then it visits the squirrel. If something is nice then it visits the lion. If something visits the squirrel then it is green.
The tiger sees the tiger.
@0: The lion eats the tiger.[(triple1)] The lion sees the tiger.[(triple2)] The lion visits the squirrel.[(triple3)] The squirrel does not visit the tiger.[(triple4)] The tiger eats the lion.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The lion is green.[(((triple3) -> rule8))] The tiger is green.[(((triple7) -> rule8))] The tiger is young.[(((triple5) -> rule3))] The tiger visits the lion.[(((triple1) -> rule5))] @2: The squirrel sees the lion.[(((((triple7) -> rule8) triple4) -> rule1))] The tiger sees the tiger.[(((((triple1) -> rule5) ((triple3) -> rule8)) -> rule4))]