The bald eagle chases the cat. The bald eagle is blue. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle needs the cat. The bald eagle visits the cat. The cat is blue. The cat is rough. The cat visits the bald eagle. If something visits the bald eagle and it visits the cat then it is green. Kind, round things are blue. If the cat is blue then the cat needs the bald eagle.
The bald eagle does not need the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle needs the cat.[(triple6)] The bald eagle visits the cat.[(triple7)] The cat is blue.[(triple8)] The cat is rough.[(triple9)] The cat visits the bald eagle.[(triple10)] @1: The cat needs the bald eagle.[(((triple8) -> rule3))]