The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle likes the dog. The dog likes the bald eagle. The dog needs the bald eagle. The tiger likes the bald eagle. The tiger likes the dog. The tiger needs the bald eagle. The tiger needs the dog. If someone needs the tiger then the tiger is big. If someone is young and they chase the dog then the dog chases the bald eagle. If someone needs the bald eagle and the bald eagle chases the tiger then they are nice. If someone needs the dog then they chase the dog. If someone likes the dog and they are nice then the dog needs the tiger. If someone is big then they like the dog. If someone chases the dog and the dog needs the tiger then the tiger likes the bald eagle. If someone is big and rough then they need the tiger.
The dog does not need the tiger.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle likes the dog.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6)] The tiger likes the bald eagle.[(triple7 OR ((triple1 ((triple8 ((triple9 triple2) -> rule3)) -> rule5)) -> rule7) OR ((((triple10) -> rule4) ((triple8 ((triple9 triple2) -> rule3)) -> rule5)) -> rule7))] The tiger likes the dog.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger needs the dog.[(triple10)] @1: The dog is nice.[(((triple6 triple2) -> rule3))] The tiger chases the dog.[(((triple10) -> rule4))] The tiger is nice.[(((triple9 triple2) -> rule3))] @2: The dog needs the tiger.[(((triple8 ((triple9 triple2) -> rule3)) -> rule5))] @3: The tiger is big.[(((((triple8 ((triple9 triple2) -> rule3)) -> rule5)) -> rule1))]