The bald eagle chases the bear. The bald eagle visits the cat. The bear does not chase the bald eagle. The bear is big. The bear is blue. The bear is kind. The cat chases the bear. The cat is green. The cat is kind. The cat needs the bald eagle. The cat needs the bear. The cat visits the bear. If the cat is kind and the cat needs the bald eagle then the bald eagle is big. If the bald eagle is nice then the bald eagle chases the cat. If something chases the bald eagle then the bald eagle needs the cat. If something is big and it does not visit the bear then it needs the bald eagle. If the cat is blue then the cat does not need the bear. If something is green and it does not need the bear then the bear needs the cat.
The bald eagle does not need the bald eagle.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle visits the cat.[(triple2)] The bear does not chase the bald eagle.[(triple3)] The bear is big.[(triple4)] The bear is blue.[(triple5)] The bear is kind.[(triple6)] The cat chases the bear.[(triple7)] The cat is green.[(triple8)] The cat is kind.[(triple9)] The cat needs the bald eagle.[(triple10)] The cat needs the bear.[(triple11)] The cat visits the bear.[(triple12)] @1: The bald eagle is big.[(((triple9 triple10) -> rule1))]