The bear eats the tiger. The bear is big. The bear is green. The bear is kind. The bear is red. The bear sees the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is big. The tiger is green. The tiger is kind. The tiger is red. The tiger is young. The tiger sees the bear. The tiger visits the bear. If someone visits the bear then they are young. If the bear eats the tiger and the tiger is young then the bear is young. If someone is green and they see the bear then the bear eats the tiger. If someone visits the bear and the bear is kind then they see the tiger. If someone is green then they eat the tiger. If someone sees the bear and the bear visits the tiger then the bear eats the tiger. If someone sees the bear and they are young then they eat the bear. If someone is young then they see the bear.
The tiger does not eat the tiger.
@0: The bear eats the tiger.[(triple1 OR ((triple3) -> rule5) OR ((triple10 triple14) -> rule3) OR ((triple14 triple7) -> rule6) OR ((triple10 ((triple13) -> rule8)) -> rule3) OR ((((triple13) -> rule8) triple7) -> rule6) OR ((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) OR ((((((triple15) -> rule1)) -> rule8) triple7) -> rule6))] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear sees the tiger.[(triple6)] The bear visits the tiger.[(triple7)] The tiger eats the bear.[(triple8 OR ((triple14 triple13) -> rule7) OR ((triple14 ((triple15) -> rule1)) -> rule7) OR ((((triple13) -> rule8) triple13) -> rule7) OR ((((triple13) -> rule8) ((triple15) -> rule1)) -> rule7) OR ((((((triple15) -> rule1)) -> rule8) triple13) -> rule7) OR ((((((triple15) -> rule1)) -> rule8) ((triple15) -> rule1)) -> rule7))] The tiger is big.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is red.[(triple12)] The tiger is young.[(triple13 OR ((triple15) -> rule1))] The tiger sees the bear.[(triple14 OR ((triple13) -> rule8) OR ((((triple15) -> rule1)) -> rule8))] The tiger visits the bear.[(triple15)] @1: The bear is young.[(((triple1 triple13) -> rule2) OR ((triple1 ((triple15) -> rule1)) -> rule2) OR ((((triple3) -> rule5) triple13) -> rule2) OR ((((triple10 triple14) -> rule3) triple13) -> rule2) OR ((((triple14 triple7) -> rule6) triple13) -> rule2) OR ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2) OR ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2) OR ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2) OR ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2) OR ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2) OR ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2) OR ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2) OR ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2) OR ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2) OR ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2) OR ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2))] The tiger eats the tiger.[(((triple10) -> rule5))] The tiger sees the tiger.[(((triple15 triple4) -> rule4))] @2: The bear sees the bear.[(((((triple1 triple13) -> rule2)) -> rule8) OR ((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) OR ((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) OR ((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) OR ((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) OR ((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) OR ((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) OR ((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) OR ((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) OR ((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8))] @3: The bear eats the bear.[(((((((triple1 triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((triple1 ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((triple1 ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple3) -> rule5) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 triple14) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple14 triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((triple13) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) triple13) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((triple13) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) triple13) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((triple10 ((((triple15) -> rule1)) -> rule8)) -> rule3) ((triple15) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule8) ((((((((triple15) -> rule1)) -> rule8) triple7) -> rule6) ((triple15) -> rule1)) -> rule2)) -> rule7))]