The bald eagle is kind. The bald eagle needs the bear. The bald eagle does not see the bear. The bald eagle sees the dog. The bald eagle visits the dog. The bear is red. The bear needs the dog. The bear visits the bald eagle. The dog is nice. The dog visits the bald eagle. If the dog visits the bald eagle and the bald eagle is nice then the bald eagle needs the dog. All nice things are not kind. If something sees the bear and the bear needs the dog then the dog needs the bear. If something visits the bear then the bear does not visit the bald eagle. If something is round and green then it does not see the bear. If something is red then it sees the bear. If something sees the bear and it is nice then it does not need the bald eagle. If something is green then it needs the dog.
The dog is not nice.
@0: The bald eagle does not see the bear.[(triple3)] The bald eagle is kind.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle sees the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The bear is red.[(triple6)] The bear needs the dog.[(triple7)] The bear visits the bald eagle.[(triple8)] The dog is nice.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bear sees the bear.[(((triple6) -> rule6))] The dog is not kind.[(((triple9) -> rule2))] @2: The dog needs the bear.[(((((triple6) -> rule6) triple7) -> rule3))]