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