The bald eagle is nice. The dog likes the tiger. The dog does not need the bald eagle. The dog needs the tiger. The tiger is not blue. The tiger is kind. The tiger is nice. The tiger likes the dog. The tiger needs the bald eagle. The tiger sees the dog. If something likes the bald eagle then it is kind. If something needs the tiger then the tiger is nice. If something needs the bald eagle and it likes the bald eagle then it likes the dog. If the dog sees the tiger then the tiger is green. If something likes the bald eagle then it sees the bald eagle. If something is nice and it does not like the tiger then the tiger likes the dog. If something is nice then it needs the dog. If something is blue then it sees the dog.
The tiger does not need the bald eagle.
@0: The bald eagle is nice.[(triple1)] The dog does not need the bald eagle.[(triple3)] The dog likes the tiger.[(triple2)] The dog needs the tiger.[(triple4)] The tiger is kind.[(triple6)] The tiger is nice.[(triple7 OR ((triple4) -> rule2))] The tiger is not blue.[(triple5)] The tiger likes the dog.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger sees the dog.[(triple10)] @1: The bald eagle needs the dog.[(((triple1) -> rule7))] The tiger needs the dog.[(((triple7) -> rule7) OR ((((triple4) -> rule2)) -> rule7))]