The bald eagle chases the cat. The bald eagle chases the squirrel. The bald eagle is rough. The bald eagle needs the squirrel. The bald eagle does not visit the cat. The bald eagle visits the squirrel. The cat does not chase the bald eagle. The cat chases the squirrel. The cat is blue. The cat is green. The cat is not rough. The cat needs the bald eagle. The cat needs the squirrel. The squirrel is rough. The squirrel needs the bald eagle. The squirrel needs the cat. If someone chases the bald eagle then they need the squirrel. If someone is blue then they need the bald eagle. If the cat is big and the cat is not red then the cat does not need the bald eagle. If someone chases the cat then the cat visits the bald eagle. If someone is blue and not big then they are green. If someone needs the squirrel then they visit the bald eagle. If the squirrel is red and the squirrel needs the cat then the squirrel visits the cat. If someone is blue then they visit the squirrel.
The bald eagle does not need the squirrel.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle does not visit the cat.[(triple5)] The bald eagle is rough.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle visits the squirrel.[(triple6)] The cat chases the squirrel.[(triple8)] The cat does not chase the bald eagle.[(triple7)] The cat is blue.[(triple9)] The cat is green.[(triple10)] The cat is not rough.[(triple11)] The cat needs the bald eagle.[(triple12 OR ((triple9) -> rule2))] The cat needs the squirrel.[(triple13)] The squirrel is rough.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel needs the cat.[(triple16)] @1: The bald eagle visits the bald eagle.[(((triple4) -> rule6))] The cat visits the bald eagle.[(((triple1) -> rule4) OR ((triple13) -> rule6))] The cat visits the squirrel.[(((triple9) -> rule8))]