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