The bald eagle chases the tiger. The bald eagle eats the squirrel. The bald eagle is green. The bald eagle is nice. The bald eagle sees the dog. The dog chases the tiger. The dog is green. The dog is nice. The dog sees the tiger. The squirrel chases the dog. The squirrel eats the tiger. The squirrel sees the bald eagle. The squirrel sees the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is rough. If the bald eagle sees the squirrel and the bald eagle chases the dog then the bald eagle is blue. If something eats the bald eagle then the bald eagle is nice. If something eats the bald eagle then the bald eagle sees the squirrel. If something is round then it sees the tiger. If something sees the dog then the dog sees the bald eagle. If the dog is blue then the dog eats the tiger. If something is rough then it sees the dog. If something sees the squirrel and the squirrel sees the dog then the dog chases the squirrel.
The squirrel does not eat the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle sees the dog.[(triple5)] The dog chases the tiger.[(triple6)] The dog is green.[(triple7)] The dog is nice.[(triple8)] The dog sees the tiger.[(triple9)] The squirrel chases the dog.[(triple10)] The squirrel eats the tiger.[(triple11)] The squirrel sees the bald eagle.[(triple12)] The squirrel sees the tiger.[(triple13)] The tiger chases the squirrel.[(triple14)] The tiger eats the squirrel.[(triple15)] The tiger is rough.[(triple16)] @1: The dog sees the bald eagle.[(((triple5) -> rule5) OR ((((triple16) -> rule7)) -> rule5))] The tiger sees the dog.[(((triple16) -> rule7))]