The bald eagle is blue. The bald eagle sees the lion. The bald eagle sees the squirrel. The bald eagle visits the lion. The bald eagle visits the squirrel. The dog is red. The dog needs the lion. The dog needs the squirrel. The dog visits the bald eagle. The lion is big. The lion needs the bald eagle. The lion sees the squirrel. The squirrel needs the bald eagle. The squirrel needs the lion. The squirrel sees the bald eagle. If someone visits the dog then the dog is blue. If someone needs the lion then they see the bald eagle.
The dog does not see the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the lion.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The dog is red.[(triple6)] The dog needs the lion.[(triple7)] The dog needs the squirrel.[(triple8)] The dog visits the bald eagle.[(triple9)] The lion is big.[(triple10)] The lion needs the bald eagle.[(triple11)] The lion sees the squirrel.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel sees the bald eagle.[(triple15 OR ((triple14) -> rule2))] @1: The dog sees the bald eagle.[(((triple7) -> rule2))]