The rabbit eats the tiger. The squirrel is big. The tiger eats the squirrel. If something eats the rabbit and the rabbit needs the tiger then the rabbit eats the tiger. If something sees the rabbit then the rabbit is big. If the squirrel eats the rabbit and the squirrel sees the rabbit then the rabbit sees the squirrel. If something is rough and young then it is round. If something sees the tiger and it needs the rabbit then the tiger sees the squirrel. If something sees the tiger then it eats the tiger. If something sees the rabbit and it eats the rabbit then the rabbit needs the squirrel. If something eats the tiger then it needs the tiger.
The rabbit is not round.
@0: The rabbit eats the tiger.[(triple1)] The squirrel is big.[(triple2)] The tiger eats the squirrel.[(triple3)] @1: The rabbit needs the tiger.[(((triple1) -> rule8))]