The bald eagle chases the tiger. The bald eagle is kind. The bald eagle is nice. The bald eagle is red. The bald eagle sees the dog. The dog chases the squirrel. The dog is nice. The dog does not see the squirrel. The dog does not see the tiger. The squirrel chases the dog. The squirrel is kind. The squirrel is rough. The squirrel sees the dog. The squirrel visits the tiger. The tiger does not chase the squirrel. The tiger visits the dog. If something sees the squirrel and it is nice then it is red. If the dog sees the squirrel and the dog does not chase the squirrel then the squirrel sees the tiger. If something sees the dog then it sees the tiger. If something sees the tiger then the tiger sees the dog. If something chases the dog and the dog visits the bald eagle then the bald eagle is green. If something is rough and it chases the squirrel then it is kind.
The tiger chases the squirrel.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog chases the squirrel.[(triple6)] The dog does not see the squirrel.[(triple8)] The dog does not see the tiger.[(triple9)] The dog is nice.[(triple7)] The squirrel chases the dog.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is rough.[(triple12)] The squirrel sees the dog.[(triple13)] The squirrel visits the tiger.[(triple14)] The tiger does not chase the squirrel.[(triple15)] The tiger visits the dog.[(triple16)] @1: The bald eagle sees the tiger.[(((triple5) -> rule3))] The squirrel sees the tiger.[(((triple13) -> rule3))] @2: The tiger sees the dog.[(((((triple13) -> rule3)) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] @3: The tiger sees the tiger.[(((((((triple13) -> rule3)) -> rule4)) -> rule3) OR ((((((triple5) -> rule3)) -> rule4)) -> rule3))]