The bald eagle chases the bear. The bald eagle chases the rabbit. The bald eagle is kind. The bald eagle sees the bear. The bald eagle sees the rabbit. The bald eagle visits the bear. The bear is blue. The bear is cold. The bear is round. The bear visits the cow. The cow chases the bald eagle. The cow chases the bear. The cow chases the rabbit. The rabbit chases the cow. The rabbit sees the cow. If something visits the bear and the bear visits the rabbit then it is cold. If something sees the bald eagle and the bald eagle chases the cow then the bald eagle is kind. If something chases the rabbit then the rabbit chases the cow.
The bear does not visit the cow.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The bald eagle visits the bear.[(triple6)] The bear is blue.[(triple7)] The bear is cold.[(triple8)] The bear is round.[(triple9)] The bear visits the cow.[(triple10)] The cow chases the bald eagle.[(triple11)] The cow chases the bear.[(triple12)] The cow chases the rabbit.[(triple13)] The rabbit chases the cow.[(triple14 OR ((triple13) -> rule3) OR ((triple2) -> rule3))] The rabbit sees the cow.[(triple15)]