The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bear is nice. The bear does not like the bald eagle. The bear needs the tiger. The bear sees the bald eagle. The bear does not see the tiger. The dog likes the bald eagle. The dog likes the tiger. The dog needs the bald eagle. The dog does not see the bald eagle. The dog sees the bear. The tiger is green. The tiger sees the bald eagle. If someone likes the tiger then they need the dog. If someone sees the bald eagle and the bald eagle needs the tiger then they do not need the bald eagle. If someone is green and they see the tiger then they need the tiger. If someone likes the dog and they need the tiger then the dog needs the tiger. If someone needs the dog and the dog needs the bald eagle then they are nice. If someone is nice then they see the dog. If someone needs the dog and they do not like the dog then the dog sees the tiger. If the bear sees the tiger and the tiger is not green then the tiger does not need the bald eagle.
The tiger needs the tiger.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bear does not like the bald eagle.[(triple5)] The bear does not see the tiger.[(triple8)] The bear is nice.[(triple4)] The bear needs the tiger.[(triple6)] The bear sees the bald eagle.[(triple7)] The dog does not see the bald eagle.[(triple12)] The dog likes the bald eagle.[(triple9)] The dog likes the tiger.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog sees the bear.[(triple13)] The tiger is green.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle sees the dog.[(((triple2) -> rule6))] The bear sees the dog.[(((triple4) -> rule6))] The dog needs the dog.[(((triple10) -> rule1))] @2: The dog is nice.[(((((triple10) -> rule1) triple11) -> rule5))] @3: The dog sees the dog.[(((((((triple10) -> rule1) triple11) -> rule5)) -> rule6))]