The bald eagle chases the cow. The bald eagle is blue. The bald eagle sees the bear. The bald eagle sees the cow. The bear is blue. The bear is green. The bear is kind. The bear sees the bald eagle. The cow chases the bear. The cow visits the bear. If someone is nice then they see the bear. If the bear sees the bald eagle and the bear chases the cow then the bear is nice. If the bear visits the bald eagle then the bear is big. If someone visits the cow and the cow visits the bear then they are blue. If someone is green then they see the cow. If the bear is nice and the bear sees the bald eagle then the bear visits the cow.
The bear does not see the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle sees the bear.[(triple3)] The bald eagle sees the cow.[(triple4)] The bear is blue.[(triple5)] The bear is green.[(triple6)] The bear is kind.[(triple7)] The bear sees the bald eagle.[(triple8)] The cow chases the bear.[(triple9)] The cow visits the bear.[(triple10)] @1: The bear sees the cow.[(((triple6) -> rule5))]