The lion sees the tiger. The squirrel eats the tiger. The tiger chases the lion. If something eats the tiger then it sees the squirrel. If something chases the tiger and the tiger is red then the tiger is kind. If something eats the squirrel and it eats the tiger then it is rough. If something chases the squirrel then it eats the squirrel. If the tiger eats the lion then the lion eats the tiger. If something chases the lion and it is blue then it is red. If something sees the squirrel then it chases the squirrel. If something chases the lion and it is big then it sees the lion.
The tiger is kind.
@0: The lion sees the tiger.[(triple1)] The squirrel eats the tiger.[(triple2)] The tiger chases the lion.[(triple3)] @1: The squirrel sees the squirrel.[(((triple2) -> rule1))] @2: The squirrel chases the squirrel.[(((((triple2) -> rule1)) -> rule7))] @3: The squirrel eats the squirrel.[(((((((triple2) -> rule1)) -> rule7)) -> rule4))] @4: The squirrel is rough.[(((((((((triple2) -> rule1)) -> rule7)) -> rule4) triple2) -> rule3))]