The dog likes the squirrel. The dog visits the tiger. The lion is not young. The lion needs the squirrel. The squirrel needs the dog. The squirrel needs the lion. The tiger needs the lion. If someone needs the squirrel and the squirrel needs the dog then they need the dog.
The dog does not need the dog.
@0: The dog likes the squirrel.[(triple1)] The dog visits the tiger.[(triple2)] The lion is not young.[(triple3)] The lion needs the squirrel.[(triple4)] The squirrel needs the dog.[(triple5)] The squirrel needs the lion.[(triple6)] The tiger needs the lion.[(triple7)] @1: The lion needs the dog.[(((triple4 triple5) -> rule1))]