The bald eagle chases the bear. The bald eagle chases the cat. The bald eagle is big. The bald eagle is blue. The bald eagle needs the bear. The bald eagle needs the cat. The bear chases the bald eagle. The bear is blue. The bear is young. The bear needs the cat. The bear sees the bald eagle. The bear does not see the cat. The cat is cold. The cat does not need the bald eagle. The cat needs the bear. The cat sees the bear. If someone sees the bear then the bear needs the bald eagle. If someone is kind and not big then they chase the bald eagle. If the cat chases the bear then the bear does not see the cat.
The bear does not need the cat.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the cat.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle needs the bear.[(triple5)] The bald eagle needs the cat.[(triple6)] The bear chases the bald eagle.[(triple7)] The bear does not see the cat.[(triple12)] The bear is blue.[(triple8)] The bear is young.[(triple9)] The bear needs the cat.[(triple10)] The bear sees the bald eagle.[(triple11)] The cat does not need the bald eagle.[(triple14)] The cat is cold.[(triple13)] The cat needs the bear.[(triple15)] The cat sees the bear.[(triple16)] @1: The bear needs the bald eagle.[(((triple16) -> rule1))]