The bald eagle eats the mouse. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle is round. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse eats the bald eagle. The mouse is green. The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse needs the bald eagle. The mouse visits the bald eagle. If something needs the bald eagle then the bald eagle visits the mouse.
The mouse visits the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8 OR ((triple15) -> rule1))] The mouse eats the bald eagle.[(triple9)] The mouse is green.[(triple10)] The mouse is nice.[(triple11)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse is round.[(triple14)] The mouse needs the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16)]