The rabbit is big. The squirrel eats the tiger. The tiger chases the rabbit. If something eats the squirrel then the squirrel chases the tiger. If something sees the rabbit and it chases the rabbit then the rabbit chases the squirrel. If the squirrel chases the rabbit and the squirrel eats the rabbit then the squirrel sees the tiger. If something is kind then it chases the rabbit. If something is young then it sees the squirrel. If something eats the tiger then it is young. Young things are kind. If something chases the tiger then the tiger chases the rabbit.
The tiger is kind.
@0: The rabbit is big.[(triple1)] The squirrel eats the tiger.[(triple2)] The tiger chases the rabbit.[(triple3)] @1: The squirrel is young.[(((triple2) -> rule6))] @2: The squirrel is kind.[(((((triple2) -> rule6)) -> rule7))] The squirrel sees the squirrel.[(((((triple2) -> rule6)) -> rule5))] @3: The squirrel chases the rabbit.[(((((((triple2) -> rule6)) -> rule7)) -> rule4))]