The dog is young. The dog sees the lion. The dog sees the rabbit. The dog sees the squirrel. The lion sees the squirrel. The rabbit is nice. The squirrel likes the rabbit. If something needs the lion then the lion needs the squirrel. If something sees the squirrel then the squirrel needs the dog.
The lion does not need the squirrel.
@0: The dog is young.[(triple1)] The dog sees the lion.[(triple2)] The dog sees the rabbit.[(triple3)] The dog sees the squirrel.[(triple4)] The lion sees the squirrel.[(triple5)] The rabbit is nice.[(triple6)] The squirrel likes the rabbit.[(triple7)] @1: The squirrel needs the dog.[(((triple4) -> rule2) OR ((triple5) -> rule2))]