The bald eagle eats the bear. The bald eagle is nice. The bald eagle visits the mouse. The bear eats the tiger. The bear is kind. The bear visits the tiger. The mouse eats the bear. The mouse is green. The mouse is kind. The mouse sees the bald eagle. The mouse sees the bear. The mouse sees the tiger. The tiger eats the mouse. The tiger sees the bald eagle. The tiger sees the bear. The tiger visits the mouse. If something is kind then it visits the bald eagle. If something eats the bear then the bear sees the bald eagle. If the bald eagle is round then the bald eagle eats the bear. If something eats the bald eagle and it sees the bear then the bald eagle is kind. If something sees the bald eagle then the bald eagle visits the mouse. If something visits the bald eagle and the bald eagle visits the mouse then it eats the bald eagle. If something is blue and it eats the tiger then the tiger eats the mouse.
The tiger is nice.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle visits the mouse.[(triple3 OR ((triple10) -> rule5) OR ((triple14) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple7) -> rule2)) -> rule5))] The bear eats the tiger.[(triple4)] The bear is kind.[(triple5)] The bear visits the tiger.[(triple6)] The mouse eats the bear.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse sees the bald eagle.[(triple10)] The mouse sees the bear.[(triple11)] The mouse sees the tiger.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger sees the bald eagle.[(triple14)] The tiger sees the bear.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The bear sees the bald eagle.[(((triple1) -> rule2) OR ((triple7) -> rule2))] The bear visits the bald eagle.[(((triple5) -> rule1))] The mouse visits the bald eagle.[(((triple9) -> rule1))] @2: The bear eats the bald eagle.[(((((triple5) -> rule1) triple3) -> rule6) OR ((((triple5) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((triple5) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((triple5) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple5) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6))] The mouse eats the bald eagle.[(((((triple9) -> rule1) triple3) -> rule6) OR ((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6))] @3: The bald eagle is kind.[(((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4) OR ((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4) OR ((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4) OR ((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4) OR ((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4))] @4: The bald eagle visits the bald eagle.[(((((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4)) -> rule1) OR ((((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) OR ((((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) OR ((((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) OR ((((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1))] @5: The bald eagle eats the bald eagle.[(((((((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4)) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4)) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4)) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) triple3) -> rule6) triple11) -> rule4)) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple10) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((triple14) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) triple3) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple10) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((triple14) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule6) OR ((((((((((triple9) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6) triple11) -> rule4)) -> rule1) ((((triple7) -> rule2)) -> rule5)) -> rule6))]