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