The bald eagle chases the bear. The bald eagle chases the cow. The bald eagle is blue. The bear chases the cow. The bear is cold. The bear is red. The bear sees the cow. The bear visits the bald eagle. The cow sees the bear. The cow visits the bear. If something is blue then it chases the bear. If something sees the cow and the cow chases the bald eagle then it visits the cow. If something is nice then it is red.
The bald eagle visits the bear.
@0: The bald eagle chases the bear.[(triple1 OR ((triple3) -> rule1))] The bald eagle chases the cow.[(triple2)] The bald eagle is blue.[(triple3)] The bear chases the cow.[(triple4)] The bear is cold.[(triple5)] The bear is red.[(triple6)] The bear sees the cow.[(triple7)] The bear visits the bald eagle.[(triple8)] The cow sees the bear.[(triple9)] The cow visits the bear.[(triple10)]