The bald eagle needs the dog. The bald eagle needs the squirrel. The bald eagle sees the dog. The dog chases the squirrel. The dog is blue. The dog is red. The dog needs the bald eagle. The dog needs the squirrel. The dog sees the squirrel. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel needs the bald eagle. The squirrel needs the dog. The squirrel sees the bald eagle. The squirrel sees the dog. If someone sees the dog then they are big. If someone is big and they need the squirrel then they chase the bald eagle. If someone needs the squirrel then the squirrel is red.
The dog is big.
@0: The bald eagle needs the dog.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the dog.[(triple3)] The dog chases the squirrel.[(triple4)] The dog is blue.[(triple5)] The dog is red.[(triple6)] The dog needs the bald eagle.[(triple7)] The dog needs the squirrel.[(triple8)] The dog sees the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is cold.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the dog.[(triple14)] The squirrel sees the bald eagle.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The bald eagle is big.[(((triple3) -> rule1))] The squirrel is big.[(((triple16) -> rule1))] The squirrel is red.[(((triple2) -> rule3) OR ((triple8) -> rule3))] @2: The bald eagle chases the bald eagle.[(((((triple3) -> rule1) triple2) -> rule2))]