The dog chases the tiger. The mouse eats the tiger. The squirrel eats the tiger. The tiger is round. If someone needs the tiger then the tiger is cold. If someone is round then they eat the mouse. If someone is round then they do not eat the squirrel. If someone is rough then they are kind. If the tiger eats the mouse then the tiger is kind. If someone chases the mouse then the mouse needs the squirrel. If someone chases the squirrel then the squirrel is not round. If someone is kind and round then they do not need the dog.
The mouse is not kind.
@0: The dog chases the tiger.[(triple1)] The mouse eats the tiger.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger is round.[(triple4)] @1: The tiger does not eat the squirrel.[(((triple4) -> rule3))] The tiger eats the mouse.[(((triple4) -> rule2))] @2: The tiger is kind.[(((((triple4) -> rule2)) -> rule5))] @3: The tiger does not need the dog.[(((((((triple4) -> rule2)) -> rule5) triple4) -> rule8))]