The bald eagle chases the squirrel. The bald eagle is kind. The dog chases the bald eagle. The dog is big. The squirrel is green. The squirrel sees the bald eagle. The squirrel visits the dog. If the bald eagle is green then the bald eagle is kind. If the bald eagle visits the dog then the dog visits the squirrel. If something chases the squirrel then it visits the dog. If something visits the dog then it chases the squirrel. If the dog is red then the dog is kind. If something sees the squirrel then the squirrel sees the bald eagle. If something sees the squirrel and the squirrel visits the bald eagle then the squirrel chases the dog. If something is big and it chases the squirrel then the squirrel is kind.
The bald eagle chases the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is kind.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog is big.[(triple4)] The squirrel is green.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The bald eagle visits the dog.[(((triple1) -> rule3))] The squirrel chases the squirrel.[(((triple7) -> rule4))] @2: The dog visits the squirrel.[(((((triple1) -> rule3)) -> rule2))]