The squirrel eats the tiger. The tiger is big. If the squirrel eats the tiger then the tiger needs the squirrel. If the tiger chases the squirrel and the squirrel does not eat the tiger then the tiger eats the squirrel. If something chases the tiger then the tiger does not eat the squirrel. If the squirrel does not eat the tiger then the squirrel chases the tiger. If something needs the tiger then it does not chase the tiger. If something needs the squirrel then it chases the tiger. If something is big then it needs the squirrel. If the tiger chases the squirrel then the squirrel is round.
The tiger does not eat the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The tiger is big.[(triple2)] @1: The tiger needs the squirrel.[(((triple1) -> rule1) OR ((triple2) -> rule7))] @2: The tiger chases the tiger.[(((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule7)) -> rule6))] @3: The tiger does not eat the squirrel.[(((((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6)) -> rule3))]