The bald eagle sees the tiger. The dog chases the bald eagle. The dog is kind. The dog does not need the bald eagle. The tiger chases the bald eagle. The tiger is green. The tiger sees the bald eagle. If someone is big and they need the dog then the dog needs the tiger. If someone sees the bald eagle then the bald eagle needs the dog. If someone chases the dog and they are not big then they are green. If someone needs the dog then they are not kind. If someone needs the bald eagle then they need the dog. If someone needs the dog and they are not kind then they do not chase the bald eagle.
The dog is not green.
@0: The bald eagle sees the tiger.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog does not need the bald eagle.[(triple4)] The dog is kind.[(triple3)] The tiger chases the bald eagle.[(triple5)] The tiger is green.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle needs the dog.[(((triple7) -> rule2))] @2: The bald eagle is not kind.[(((((triple7) -> rule2)) -> rule4))] @3: The bald eagle does not chase the bald eagle.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule6))]