The bald eagle chases the mouse. The bald eagle is green. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse is kind. The mouse is young. The mouse sees the tiger. The mouse visits the bald eagle. The tiger sees the bald eagle. The tiger sees the mouse. If something is green then it sees the mouse. If something chases the tiger then the tiger chases the mouse.
The tiger does not chase the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle sees the mouse.[(triple3 OR ((triple2) -> rule1))] The mouse chases the bald eagle.[(triple4)] The mouse is kind.[(triple5)] The mouse is young.[(triple6)] The mouse sees the tiger.[(triple7)] The mouse visits the bald eagle.[(triple8)] The tiger sees the bald eagle.[(triple9)] The tiger sees the mouse.[(triple10)]