The squirrel visits the tiger. The tiger is not kind. If something visits the squirrel then the squirrel does not visit the tiger. If something visits the tiger then it chases the squirrel. If something is nice and round then it does not visit the tiger. If something likes the squirrel then the squirrel likes the tiger. If something chases the squirrel then the squirrel does not like the tiger. If something is kind and it does not like the tiger then it is big.
The squirrel is not nice.
@0: The squirrel visits the tiger.[(triple1)] The tiger is not kind.[(triple2)] @1: The squirrel chases the squirrel.[(((triple1) -> rule2))] @2: The squirrel does not like the tiger.[(((((triple1) -> rule2)) -> rule5))]