The bald eagle is green. The cat chases the squirrel. The squirrel chases the cat. If the squirrel visits the bald eagle then the squirrel needs the cat. If something chases the cat then it visits the bald eagle. Big, kind things are young. If something visits the bald eagle and the bald eagle is young then the bald eagle visits the squirrel. If something visits the bald eagle then the bald eagle visits the squirrel. If something chases the bald eagle then it visits the squirrel. If something is green then it visits the squirrel. If the squirrel chases the bald eagle and the bald eagle needs the squirrel then the bald eagle is not blue.
The squirrel visits the bald eagle.
@0: The bald eagle is green.[(triple1)] The cat chases the squirrel.[(triple2)] The squirrel chases the cat.[(triple3)] @1: The bald eagle visits the squirrel.[(((triple1) -> rule7) OR ((((triple3) -> rule2)) -> rule5))] The squirrel visits the bald eagle.[(((triple3) -> rule2))] @2: The squirrel needs the cat.[(((((triple3) -> rule2)) -> rule1))]