The lion eats the squirrel. The rabbit is young. The squirrel likes the lion. The tiger needs the rabbit. If something eats the squirrel then the squirrel likes the lion. If something eats the lion then the lion likes the tiger.
The lion does not like the tiger.
@0: The lion eats the squirrel.[(triple1)] The rabbit is young.[(triple2)] The squirrel likes the lion.[(triple3 OR ((triple1) -> rule1))] The tiger needs the rabbit.[(triple4)]