The lion likes the tiger. The squirrel likes the tiger. The tiger is nice. If someone eats the lion then the lion is red. If the tiger eats the squirrel and the squirrel is cold then the squirrel sees the tiger. If someone eats the tiger and they are cold then the tiger likes the squirrel. If someone likes the squirrel then the squirrel is round. If someone is nice then they eat the squirrel. If the tiger likes the squirrel then the squirrel is young.
The squirrel does not like the tiger.
@0: The lion likes the tiger.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger is nice.[(triple3)] @1: The tiger eats the squirrel.[(((triple3) -> rule5))]