The bald eagle sees the dog. The bald eagle sees the squirrel. The cat chases the dog. The cat is green. The dog chases the squirrel. The dog is nice. The squirrel is green. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the dog. If someone chases the dog then the dog chases the cat. If someone is big and they see the squirrel then they chase the bald eagle. If someone is nice then they chase the bald eagle. If someone sees the squirrel then the squirrel needs the dog. If someone sees the cat then the cat chases the squirrel. If someone chases the squirrel then they chase the cat. If someone chases the bald eagle and the bald eagle sees the squirrel then the bald eagle chases the squirrel. If someone is big and round then they see the cat.
The dog chases the cat.
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat chases the dog.[(triple3)] The cat is green.[(triple4)] The dog chases the squirrel.[(triple5)] The dog is nice.[(triple6)] The squirrel is green.[(triple7)] The squirrel is rough.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog chases the bald eagle.[(((triple6) -> rule3))] The dog chases the cat.[(((triple3) -> rule1) OR ((triple5) -> rule6))] The squirrel needs the dog.[(((triple2) -> rule4))] @2: The bald eagle chases the squirrel.[(((((triple6) -> rule3) triple2) -> rule7))] @3: The bald eagle chases the cat.[(((((((triple6) -> rule3) triple2) -> rule7)) -> rule6))]