The bald eagle chases the tiger. The bald eagle is red. The bald eagle visits the tiger. The squirrel is blue. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is round. If the squirrel chases the tiger and the tiger chases the bald eagle then the squirrel chases the bald eagle. If something chases the bald eagle and it is red then it visits the bald eagle. If something needs the squirrel then the squirrel needs the bald eagle. If something chases the tiger and it is round then it needs the tiger. If something needs the squirrel then the squirrel is green. If something needs the tiger then the tiger chases the squirrel. If something chases the bald eagle and the bald eagle visits the tiger then the bald eagle needs the squirrel. If something needs the bald eagle then the bald eagle chases the squirrel.
The bald eagle needs the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle visits the tiger.[(triple3)] The squirrel is blue.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger is round.[(triple7)] @1: The bald eagle needs the squirrel.[(((triple5 triple3) -> rule7))] @2: The squirrel is green.[(((((triple5 triple3) -> rule7)) -> rule5))] The squirrel needs the bald eagle.[(((((triple5 triple3) -> rule7)) -> rule3))] @3: The bald eagle chases the squirrel.[(((((((triple5 triple3) -> rule7)) -> rule3)) -> rule8))]