The bald eagle is green. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the bear. The bald eagle visits the mouse. The bear is nice. The bear is young. The bear likes the mouse. The bear sees the bald eagle. The bear sees the mouse. The bear visits the bald eagle. The bear visits the mouse. The mouse is cold. The mouse is green. The mouse sees the bald eagle. The mouse visits the bald eagle. Rough people are nice. If the mouse sees the bald eagle then the bald eagle is young. If the mouse likes the bald eagle then the mouse sees the bear.
The bear does not visit the mouse.
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple3) -> rule1))] The bald eagle is rough.[(triple3)] The bald eagle likes the bear.[(triple4)] The bald eagle visits the mouse.[(triple5)] The bear is nice.[(triple6)] The bear is young.[(triple7)] The bear likes the mouse.[(triple8)] The bear sees the bald eagle.[(triple9)] The bear sees the mouse.[(triple10)] The bear visits the bald eagle.[(triple11)] The bear visits the mouse.[(triple12)] The mouse is cold.[(triple13)] The mouse is green.[(triple14)] The mouse sees the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The bald eagle is young.[(((triple15) -> rule2))]