The bald eagle eats the mouse. The bald eagle is blue. The bald eagle is kind. The bald eagle is nice. The bald eagle is round. The bald eagle is young. The bald eagle needs the mouse. The bald eagle sees the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse is kind. The mouse is round. The mouse is young. The mouse needs the bald eagle. The mouse sees the bald eagle. If something needs the mouse then it eats the mouse. If something eats the mouse then the mouse sees the bald eagle. If something eats the mouse then the mouse eats the bald eagle. If something needs the bald eagle and it is kind then it sees the mouse. If something sees the mouse then it needs the mouse. If the mouse is nice and the mouse is blue then the mouse needs the bald eagle. If something sees the mouse and it is blue then the mouse is blue. If something eats the bald eagle and the bald eagle needs the mouse then the bald eagle sees the mouse.
The mouse is nice.
@0: The bald eagle eats the mouse.[(triple1 OR ((triple7) -> rule1) OR ((((triple8) -> rule5)) -> rule1))] The bald eagle is blue.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the mouse.[(triple7 OR ((triple8) -> rule5))] The bald eagle sees the mouse.[(triple8 OR ((triple9 triple7) -> rule8) OR ((((triple1) -> rule3) triple7) -> rule8) OR ((((((triple7) -> rule1)) -> rule3) triple7) -> rule8) OR ((((((((((triple14 triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) triple7) -> rule8))] The mouse eats the bald eagle.[(triple9 OR ((triple1) -> rule3) OR ((((triple7) -> rule1)) -> rule3) OR ((((((triple8) -> rule5)) -> rule1)) -> rule3) OR ((((((((triple14 triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3))] The mouse is blue.[(triple10 OR ((triple8 triple2) -> rule7) OR ((((triple9 triple7) -> rule8) triple2) -> rule7) OR ((((((triple1) -> rule3) triple7) -> rule8) triple2) -> rule7) OR ((((((((triple7) -> rule1)) -> rule3) triple7) -> rule8) triple2) -> rule7) OR ((((((((((((triple14 triple11) -> rule4)) -> rule5)) -> rule1)) -> rule3) triple7) -> rule8) triple2) -> rule7))] The mouse is kind.[(triple11)] The mouse is round.[(triple12)] The mouse is young.[(triple13)] The mouse needs the bald eagle.[(triple14)] The mouse sees the bald eagle.[(triple15 OR ((triple1) -> rule2) OR ((((triple7) -> rule1)) -> rule2) OR ((((((triple8) -> rule5)) -> rule1)) -> rule2) OR ((((((((triple14 triple11) -> rule4)) -> rule5)) -> rule1)) -> rule2))] @1: The mouse sees the mouse.[(((triple14 triple11) -> rule4))] @2: The mouse needs the mouse.[(((((triple14 triple11) -> rule4)) -> rule5))] @3: The mouse eats the mouse.[(((((((triple14 triple11) -> rule4)) -> rule5)) -> rule1))]