The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is green. The bald eagle is rough. The bald eagle sees the dog. The dog chases the squirrel. The dog eats the squirrel. The dog is rough. The dog sees the bald eagle. The squirrel is green. The squirrel sees the bald eagle. The squirrel sees the dog. If something chases the bald eagle and the bald eagle sees the squirrel then the squirrel eats the dog. If something is kind then it chases the bald eagle. If something chases the dog and it eats the bald eagle then the dog is rough. If something chases the dog and it is green then the dog is big. If something eats the bald eagle then it eats the squirrel. If something is big and it eats the squirrel then it chases the dog. If something chases the bald eagle and it eats the squirrel then the squirrel is kind. If something is kind and it sees the squirrel then it eats the squirrel.
The squirrel does not eat the squirrel.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog chases the squirrel.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is rough.[(triple8)] The dog sees the bald eagle.[(triple9)] The squirrel is green.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bald eagle chases the dog.[(((triple2 triple1) -> rule6))] @2: The dog is big.[(((((triple2 triple1) -> rule6) triple3) -> rule4))] @3: The dog chases the dog.[(((((((triple2 triple1) -> rule6) triple3) -> rule4) triple7) -> rule6))]