The bald eagle is big. The bald eagle is not cold. The bald eagle needs the dog. The bald eagle sees the dog. The bald eagle sees the squirrel. The bald eagle does not visit the dog. The dog is big. The dog is green. The dog is nice. The dog needs the bald eagle. The dog needs the squirrel. The dog sees the bald eagle. The dog visits the bald eagle. The squirrel is green. The squirrel sees the bald eagle. The squirrel does not visit the bald eagle. If something is big then it is green. If the squirrel visits the dog then the dog is big. If something sees the bald eagle and it is not nice then the bald eagle needs the squirrel. If something sees the dog then it is young. If something visits the squirrel and the squirrel is cold then the squirrel sees the bald eagle. If something needs the bald eagle and it is not big then it visits the squirrel. If something visits the dog then it sees the dog. If something sees the bald eagle and the bald eagle is young then it sees the dog.
The dog does not visit the squirrel.
@0: The bald eagle does not visit the dog.[(triple6)] The bald eagle is big.[(triple1)] The bald eagle is not cold.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The dog is big.[(triple7)] The dog is green.[(triple8 OR ((triple7) -> rule1))] The dog is nice.[(triple9)] The dog needs the bald eagle.[(triple10)] The dog needs the squirrel.[(triple11)] The dog sees the bald eagle.[(triple12)] The dog visits the bald eagle.[(triple13)] The squirrel does not visit the bald eagle.[(triple16)] The squirrel is green.[(triple14)] The squirrel sees the bald eagle.[(triple15)] @1: The bald eagle is green.[(((triple1) -> rule1))] The bald eagle is young.[(((triple4) -> rule4))] @2: The dog sees the dog.[(((triple12 ((triple4) -> rule4)) -> rule8))] The squirrel sees the dog.[(((triple15 ((triple4) -> rule4)) -> rule8))] @3: The dog is young.[(((((triple12 ((triple4) -> rule4)) -> rule8)) -> rule4))] The squirrel is young.[(((((triple15 ((triple4) -> rule4)) -> rule8)) -> rule4))]