The lion chases the tiger. The lion is cold. The lion sees the tiger. The squirrel chases the lion. The squirrel is big. The tiger is kind. The tiger visits the lion. If something is kind then it chases the tiger. If something visits the lion then the lion sees the squirrel. If something sees the squirrel then the squirrel visits the tiger. If something visits the tiger then the tiger chases the lion. If something sees the lion then it sees the squirrel. If something chases the squirrel then the squirrel sees the lion. If something sees the squirrel then the squirrel is green. If something sees the tiger then it chases the tiger.
The tiger does not chase the tiger.
@0: The lion chases the tiger.[(triple1 OR ((triple3) -> rule8))] The lion is cold.[(triple2)] The lion sees the tiger.[(triple3)] The squirrel chases the lion.[(triple4)] The squirrel is big.[(triple5)] The tiger is kind.[(triple6)] The tiger visits the lion.[(triple7)] @1: The lion sees the squirrel.[(((triple7) -> rule2))] The tiger chases the tiger.[(((triple6) -> rule1))] @2: The squirrel is green.[(((((triple7) -> rule2)) -> rule7))] The squirrel visits the tiger.[(((((triple7) -> rule2)) -> rule3))] @3: The tiger chases the lion.[(((((((triple7) -> rule2)) -> rule3)) -> rule4))]