The bald eagle chases the dog. The bald eagle is nice. The bald eagle is red. The bald eagle visits the dog. The cow chases the tiger. The cow is kind. The cow is nice. The cow sees the bald eagle. The cow sees the dog. The dog chases the bald eagle. The dog is big. The dog is green. The dog sees the cow. The dog does not visit the cow. The dog visits the tiger. The tiger sees the dog. If someone sees the cow and they are red then the cow visits the dog. If the cow sees the dog and the cow is not big then the cow is red. If the bald eagle visits the dog and the bald eagle is not nice then the bald eagle sees the dog. If someone chases the dog then the dog sees the bald eagle. If the bald eagle sees the cow then the cow is nice. If someone visits the dog and they see the dog then they are red.
The cow sees the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle visits the dog.[(triple4)] The cow chases the tiger.[(triple5)] The cow is kind.[(triple6)] The cow is nice.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow sees the dog.[(triple9)] The dog chases the bald eagle.[(triple10)] The dog does not visit the cow.[(triple14)] The dog is big.[(triple11)] The dog is green.[(triple12)] The dog sees the cow.[(triple13)] The dog visits the tiger.[(triple15)] The tiger sees the dog.[(triple16)] @1: The dog sees the bald eagle.[(((triple1) -> rule4))]