The bald eagle eats the mouse. The bald eagle visits the lion. The lion is red. The lion visits the bald eagle. The lion visits the mouse. The mouse eats the bald eagle. The mouse eats the lion. The mouse is nice. The mouse is red. The mouse is rough. The mouse is young. The mouse sees the bald eagle. The mouse sees the lion. The mouse visits the bald eagle. The mouse visits the lion. If someone visits the bald eagle and they are red then they are young. If someone visits the bald eagle then the bald eagle visits the lion.
The mouse visits the mouse.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle visits the lion.[(triple2 OR ((triple14) -> rule2) OR ((triple4) -> rule2))] The lion is red.[(triple3)] The lion visits the bald eagle.[(triple4)] The lion visits the mouse.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is nice.[(triple8)] The mouse is red.[(triple9)] The mouse is rough.[(triple10)] The mouse is young.[(triple11 OR ((triple14 triple9) -> rule1))] The mouse sees the bald eagle.[(triple12)] The mouse sees the lion.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the lion.[(triple15)] @1: The lion is young.[(((triple4 triple3) -> rule1))]