The bald eagle sees the cow. The bear is nice. The bear visits the bald eagle. The cow chases the bald eagle. The cow chases the bear. The cow chases the tiger. The cow does not see the bald eagle. The cow visits the tiger. The tiger is nice. The tiger does not see the cow. The tiger visits the bald eagle. The tiger does not visit the cow. If something visits the tiger and the tiger is red then the tiger is not blue. If something sees the tiger then it chases the tiger. Nice things are blue. If something visits the bald eagle and it does not visit the bear then the bear is blue. If something is nice and it sees the bear then the bear is kind. If something sees the bald eagle and it is not red then it sees the cow. If something visits the cow then it is nice. If the cow chases the tiger and the tiger visits the cow then the tiger chases the cow.
The bear is blue.
@0: The bald eagle sees the cow.[(triple1)] The bear is nice.[(triple2)] The bear visits the bald eagle.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow chases the bear.[(triple5)] The cow chases the tiger.[(triple6)] The cow does not see the bald eagle.[(triple7)] The cow visits the tiger.[(triple8)] The tiger does not see the cow.[(triple10)] The tiger does not visit the cow.[(triple12)] The tiger is nice.[(triple9)] The tiger visits the bald eagle.[(triple11)] @1: The bear is blue.[(((triple2) -> rule3))] The tiger is blue.[(((triple9) -> rule3))]