The squirrel does not eat the tiger. The squirrel likes the tiger. The squirrel sees the tiger. The tiger does not eat the squirrel. The tiger is not green. The tiger is not kind. The tiger is round. The tiger is young. The tiger likes the squirrel. The tiger sees the squirrel. If something eats the squirrel and it is not round then it is not green. All round things are young.
The squirrel eats the tiger.
@0: The squirrel does not eat the tiger.[(triple1)] The squirrel likes the tiger.[(triple2)] The squirrel sees the tiger.[(triple3)] The tiger does not eat the squirrel.[(triple4)] The tiger is not green.[(triple5)] The tiger is not kind.[(triple6)] The tiger is round.[(triple7)] The tiger is young.[(triple8 OR ((triple7) -> rule2))] The tiger likes the squirrel.[(triple9)] The tiger sees the squirrel.[(triple10)]