The bald eagle sees the bear. The bear chases the bald eagle. The bear does not chase the cat. The bear is not kind. The bear needs the cat. The cat is red. The cat sees the bald eagle. If someone is big then they do not need the bald eagle. If someone is red then they need the bear. If someone sees the bear then they are big. If someone chases the bald eagle and they need the cat then the cat sees the bear. If someone is cold and not kind then they see the bald eagle. If someone needs the bald eagle and they see the bald eagle then they see the bear. If someone chases the cat then the cat sees the bald eagle. If someone chases the bear and they are not red then the bear sees the bald eagle.
The cat does not see the bear.
@0: The bald eagle sees the bear.[(triple1)] The bear chases the bald eagle.[(triple2)] The bear does not chase the cat.[(triple3)] The bear is not kind.[(triple4)] The bear needs the cat.[(triple5)] The cat is red.[(triple6)] The cat sees the bald eagle.[(triple7)] @1: The bald eagle is big.[(((triple1) -> rule3))] The cat needs the bear.[(((triple6) -> rule2))] The cat sees the bear.[(((triple2 triple5) -> rule4))] @2: The bald eagle does not need the bald eagle.[(((((triple1) -> rule3)) -> rule1))] The cat is big.[(((((triple2 triple5) -> rule4)) -> rule3))] @3: The cat does not need the bald eagle.[(((((((triple2 triple5) -> rule4)) -> rule3)) -> rule1))]