The bald eagle chases the cow. The bald eagle does not chase the lion. The bald eagle is round. The bald eagle sees the cow. The bald eagle sees the mouse. The cow is blue. The cow sees the bald eagle. The cow visits the bald eagle. The lion chases the cow. The lion chases the mouse. The lion is big. The lion is green. The lion is round. The lion sees the bald eagle. The mouse is round. The mouse does not see the lion. If something is blue then it visits the mouse. If something visits the mouse then the mouse visits the lion.
The bald eagle does not visit the mouse.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle does not chase the lion.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the mouse.[(triple5)] The cow is blue.[(triple6)] The cow sees the bald eagle.[(triple7)] The cow visits the bald eagle.[(triple8)] The lion chases the cow.[(triple9)] The lion chases the mouse.[(triple10)] The lion is big.[(triple11)] The lion is green.[(triple12)] The lion is round.[(triple13)] The lion sees the bald eagle.[(triple14)] The mouse does not see the lion.[(triple16)] The mouse is round.[(triple15)] @1: The cow visits the mouse.[(((triple6) -> rule1))] @2: The mouse visits the lion.[(((((triple6) -> rule1)) -> rule2))]