Anne is cold. Bob is cold. Bob is young. Fiona is big. Fiona is young. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is quiet. Harry is red. Harry is young. Cold, young people are red. Furry people are young. Young, big people are blue. Red, big people are quiet. Quiet people are furry. Blue people are red. Young people are big. All quiet, big people are furry. If someone is blue and furry then they are cold.
Fiona is blue.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2 OR ((((triple3 ((triple3) -> rule7)) -> rule3) ((((((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple3 ((triple3) -> rule7)) -> rule3) ((((((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule8)) -> rule9))] Bob is young.[(triple3)] Fiona is big.[(triple4 OR ((triple5) -> rule7))] Fiona is young.[(triple5)] Harry is big.[(triple6 OR ((triple12) -> rule7) OR ((((triple9) -> rule2)) -> rule7) OR ((((((triple10) -> rule5)) -> rule2)) -> rule7))] Harry is blue.[(triple7 OR ((triple12 triple6) -> rule3) OR ((triple12 ((triple12) -> rule7)) -> rule3) OR ((((triple9) -> rule2) triple6) -> rule3) OR ((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) OR ((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) OR ((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) OR ((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) OR ((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) OR ((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) OR ((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) OR ((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) OR ((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) OR ((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) OR ((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) OR ((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3))] Harry is cold.[(triple8 OR ((triple7 triple9) -> rule9) OR ((triple7 ((triple10) -> rule5)) -> rule9) OR ((triple7 ((triple10 triple6) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) triple9) -> rule9) OR ((((triple12 triple6) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((triple7 ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) OR ((triple7 ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) OR ((((triple12 triple6) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((triple7 ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) triple9) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) triple9) -> rule9) OR ((triple7 ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) OR ((triple7 ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) triple9) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) triple9) -> rule9) OR ((triple7 ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) OR ((triple7 ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((triple7 ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((triple7 ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((triple7 ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((triple7 ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) triple6) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9) OR ((((((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8)) -> rule9))] Harry is furry.[(triple9 OR ((triple10) -> rule5) OR ((triple10 triple6) -> rule8) OR ((((triple11 triple6) -> rule4)) -> rule5) OR ((triple10 ((triple12) -> rule7)) -> rule8) OR ((((triple11 triple6) -> rule4) triple6) -> rule8) OR ((((triple11 triple6) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((triple11 ((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((((triple7) -> rule6) triple6) -> rule4)) -> rule5) OR ((((((triple8 triple12) -> rule1) triple6) -> rule4)) -> rule5) OR ((((triple11 ((triple12) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8) OR ((((((triple8 triple12) -> rule1) triple6) -> rule4) triple6) -> rule8) OR ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((((triple8 triple12) -> rule1) ((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((triple11 ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((triple7) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((triple8 triple12) -> rule1) triple6) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((triple8 triple12) -> rule1) ((triple12) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((triple8 triple12) -> rule1) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5) OR ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8) OR ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4)) -> rule5) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) triple6) -> rule8) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) ((triple12) -> rule7)) -> rule8) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) triple6) -> rule8) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) ((triple12) -> rule7)) -> rule8))] Harry is quiet.[(triple10 OR ((triple11 triple6) -> rule4) OR ((triple11 ((triple12) -> rule7)) -> rule4) OR ((((triple7) -> rule6) triple6) -> rule4) OR ((((triple8 triple12) -> rule1) triple6) -> rule4) OR ((((triple7) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((triple8 triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((triple11 ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((triple12 triple6) -> rule3)) -> rule6) triple6) -> rule4) OR ((((triple8 ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((triple7 triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((triple7) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((triple12 triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((triple8 triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((triple8 ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((triple7 triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((triple7 triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((triple12 triple6) -> rule3)) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((triple8 ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((triple7 triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((triple7 triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((triple7 triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) OR ((((((((triple9) -> rule2) triple6) -> rule3)) -> rule6) triple6) -> rule4) OR ((((((((triple12 triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) triple6) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) OR ((((((((triple12 triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((triple12 triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) triple6) -> rule3)) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((((((triple12 triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple12 triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3)) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple12 triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) triple6) -> rule4) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) ((triple12) -> rule7)) -> rule4) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) triple6) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) triple6) -> rule4) OR ((((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((triple12) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) ((((triple9) -> rule2)) -> rule7)) -> rule4))] Harry is red.[(triple11 OR ((triple7) -> rule6) OR ((triple8 triple12) -> rule1) OR ((((triple12 triple6) -> rule3)) -> rule6) OR ((triple8 ((triple9) -> rule2)) -> rule1) OR ((((triple7 triple9) -> rule9) triple12) -> rule1) OR ((((triple7 triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((triple12 ((triple12) -> rule7)) -> rule3)) -> rule6) OR ((((((triple9) -> rule2) triple6) -> rule3)) -> rule6) OR ((triple8 ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((triple8 ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((triple7 ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((triple7 ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3)) -> rule6) OR ((((triple7 triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((triple7 triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((triple7 ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((triple7 ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((triple7 ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((triple7 ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((triple7 ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((triple7 ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3)) -> rule6) OR ((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3)) -> rule6) OR ((((triple7 ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3)) -> rule6) OR ((((triple7 ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((triple7 ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((triple7 ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3)) -> rule6) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) triple6) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((triple12) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((triple9) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((triple12 ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) triple9) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) triple12) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((triple9) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10) -> rule5)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 triple6) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((triple9) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10) -> rule5)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10) -> rule5)) -> rule2)) -> rule1) OR ((((((((((triple10 triple6) -> rule8)) -> rule2) ((((((triple10) -> rule5)) -> rule2)) -> rule7)) -> rule3) ((triple10 ((triple12) -> rule7)) -> rule8)) -> rule9) ((((triple10 triple6) -> rule8)) -> rule2)) -> rule1))] Harry is young.[(triple12 OR ((triple9) -> rule2) OR ((((triple10) -> rule5)) -> rule2) OR ((((triple10 triple6) -> rule8)) -> rule2) OR ((((((triple11 triple6) -> rule4)) -> rule5)) -> rule2) OR ((((((triple11 triple6) -> rule4) triple6) -> rule8)) -> rule2) OR ((((((((triple7) -> rule6) triple6) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple7) -> rule6) triple6) -> rule4) triple6) -> rule8)) -> rule2))] @1: Bob is big.[(((triple3) -> rule7))] Bob is red.[(((triple2 triple3) -> rule1) OR ((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule6))] Fiona is blue.[(((triple5 triple4) -> rule3) OR ((triple5 ((triple5) -> rule7)) -> rule3))] @2: Bob is blue.[(((triple3 ((triple3) -> rule7)) -> rule3))] Bob is quiet.[(((((triple2 triple3) -> rule1) ((triple3) -> rule7)) -> rule4) OR ((((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4))] Fiona is red.[(((((triple5 triple4) -> rule3)) -> rule6) OR ((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6))] @3: Bob is furry.[(((((((triple2 triple3) -> rule1) ((triple3) -> rule7)) -> rule4)) -> rule5) OR ((((((triple2 triple3) -> rule1) ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule8) OR ((((((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple3 ((triple3) -> rule7)) -> rule3)) -> rule6) ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule8))] Fiona is quiet.[(((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) OR ((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) OR ((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) OR ((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4))] @4: Fiona is furry.[(((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4)) -> rule5) OR ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) triple4) -> rule8) OR ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) triple4) -> rule8) OR ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4)) -> rule5) OR ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) triple4) -> rule8) OR ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4)) -> rule5) OR ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) triple4) -> rule8) OR ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule8))] @5: Fiona is cold.[(((((triple5 triple4) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) triple4) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 triple4) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4)) -> rule5)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) triple4) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) triple4) -> rule8)) -> rule9) OR ((((triple5 ((triple5) -> rule7)) -> rule3) ((((((((triple5 ((triple5) -> rule7)) -> rule3)) -> rule6) ((triple5) -> rule7)) -> rule4) ((triple5) -> rule7)) -> rule8)) -> rule9))]