The bald eagle chases the dog. The bald eagle eats the squirrel. The bald eagle is young. The dog chases the bald eagle. The dog chases the squirrel. The squirrel chases the dog. The squirrel eats the bald eagle. The squirrel is nice. The squirrel is red. The squirrel visits the bald eagle. If something chases the dog and it visits the dog then the dog visits the squirrel. If something is kind and it visits the dog then the dog is nice. If the squirrel is kind then the squirrel is nice. If something is red then it is nice. If something visits the bald eagle then the bald eagle visits the squirrel. If something visits the dog then the dog chases the squirrel. If something chases the dog and the dog is young then it visits the dog. If something is kind then it visits the dog.
The bald eagle is not green.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is young.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog chases the squirrel.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel is nice.[(triple8 OR ((triple9) -> rule4))] The squirrel is red.[(triple9)] The squirrel visits the bald eagle.[(triple10)] @1: The bald eagle visits the squirrel.[(((triple10) -> rule5))]