The bald eagle needs the tiger. The dog needs the squirrel. The squirrel eats the dog. The tiger is nice. If someone is red then they like the tiger. If the tiger likes the squirrel then the tiger eats the dog. If someone is nice then they need the dog. If someone needs the dog then the dog is kind. If someone needs the bald eagle and the bald eagle eats the dog then they like the tiger. If someone likes the tiger then the tiger likes the squirrel.
The bald eagle does not need the tiger.
@0: The bald eagle needs the tiger.[(triple1)] The dog needs the squirrel.[(triple2)] The squirrel eats the dog.[(triple3)] The tiger is nice.[(triple4)] @1: The tiger needs the dog.[(((triple4) -> rule3))] @2: The dog is kind.[(((((triple4) -> rule3)) -> rule4))]