The bald eagle chases the dog. The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the squirrel. The dog is blue. The dog sees the squirrel. The squirrel chases the dog. The squirrel is nice. If something is blue then it sees the squirrel. Big things are blue. If something is big and it sees the squirrel then it is nice.
The squirrel does not chase the squirrel.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle likes the squirrel.[(triple6)] The dog is blue.[(triple7)] The dog sees the squirrel.[(triple8 OR ((triple7) -> rule1))] The squirrel chases the dog.[(triple9)] The squirrel is nice.[(triple10)] @1: The bald eagle is blue.[(((triple3) -> rule2))] @2: The bald eagle sees the squirrel.[(((((triple3) -> rule2)) -> rule1))] @3: The bald eagle is nice.[(((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule3))]