Anne is big. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is smart. Erin is big. Erin is red. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Gary is big. Gary is round. Gary is smart. Rough, red people are round. All round, rough people are green. Green, smart people are nice. If someone is red then they are rough. If someone is round then they are red. Green people are red. Nice people are red. Green people are smart. If someone is red then they are rough.
Erin is nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple4) -> rule4)) -> rule2) OR ((triple6 ((triple4) -> rule9)) -> rule2) OR ((((triple5 triple4) -> rule1) triple5) -> rule2) OR ((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((triple6 ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) OR ((((triple5 triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) triple5) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) triple5) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) triple5) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) triple5) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2))] Anne is nice.[(triple3 OR ((triple2 triple7) -> rule3) OR ((triple2 ((triple2) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) triple7) -> rule3) OR ((((triple6 triple5) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((triple2 ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) triple7) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) triple7) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) triple7) -> rule3) OR ((((triple6 triple5) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) triple7) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) triple7) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) triple7) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) triple7) -> rule3) OR ((triple2 ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) triple7) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) triple7) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) triple7) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((triple2 ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2) ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3))] Anne is red.[(triple4 OR ((triple2) -> rule6) OR ((triple3) -> rule7) OR ((triple6) -> rule5) OR ((((triple2 triple7) -> rule3)) -> rule7) OR ((((triple6 triple5) -> rule2)) -> rule6) OR ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7) OR ((((((triple6 triple5) -> rule2) triple7) -> rule3)) -> rule7) OR ((((((triple6 triple5) -> rule2) ((triple2) -> rule8)) -> rule3)) -> rule7) OR ((((triple2 ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3)) -> rule7) OR ((((((triple6 triple5) -> rule2) ((((triple6 triple5) -> rule2)) -> rule8)) -> rule3)) -> rule7))] Anne is rough.[(triple5 OR ((triple4) -> rule4) OR ((triple4) -> rule9) OR ((((triple2) -> rule6)) -> rule4) OR ((((triple2) -> rule6)) -> rule9) OR ((((triple3) -> rule7)) -> rule4) OR ((((triple3) -> rule7)) -> rule9) OR ((((triple6) -> rule5)) -> rule4) OR ((((triple6) -> rule5)) -> rule9) OR ((((((triple2 triple7) -> rule3)) -> rule7)) -> rule4) OR ((((((triple2 triple7) -> rule3)) -> rule7)) -> rule9) OR ((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule4) OR ((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule9))] Anne is round.[(triple6 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple2) -> rule6)) -> rule1) OR ((triple5 ((triple3) -> rule7)) -> rule1) OR ((((triple4) -> rule4) triple4) -> rule1) OR ((((triple4) -> rule9) triple4) -> rule1) OR ((((triple4) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) OR ((((triple4) -> rule9) ((triple2) -> rule6)) -> rule1) OR ((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) OR ((triple5 ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) triple4) -> rule1) OR ((((((triple2) -> rule6)) -> rule9) triple4) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) OR ((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) OR ((((triple4) -> rule4) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((triple4) -> rule9) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((triple3) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule9) ((triple2) -> rule6)) -> rule1) OR ((((((triple2) -> rule6)) -> rule9) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule9) ((triple2) -> rule6)) -> rule1) OR ((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule9) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule9) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((triple5 ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule4) triple4) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule9) triple4) -> rule1) OR ((((triple4) -> rule4) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((triple4) -> rule9) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule9) ((triple2) -> rule6)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule4) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple2) -> rule6)) -> rule9) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule9) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule4) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule9) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule4) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 triple7) -> rule3)) -> rule7)) -> rule9) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule4) triple4) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule9) triple4) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule9) ((triple2) -> rule6)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule4) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule9) ((((triple2 triple7) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule4) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1) OR ((((((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule9) ((((triple2 ((triple2) -> rule8)) -> rule3)) -> rule7)) -> rule1))] Anne is smart.[(triple7 OR ((triple2) -> rule8) OR ((((triple6 triple5) -> rule2)) -> rule8) OR ((((triple6 ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((triple6 ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((triple6 ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((triple6 ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((triple6 ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((triple6 ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple5 triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple5 ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple4) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) triple5) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) triple4) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((triple4) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple3) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple3) -> rule7)) -> rule9) ((triple3) -> rule7)) -> rule1) ((((triple6) -> rule5)) -> rule9)) -> rule2)) -> rule8))] Erin is big.[(triple8)] Erin is red.[(triple9)] Fiona is nice.[(triple10 OR ((((triple12 triple11) -> rule2) triple13) -> rule3) OR ((((triple12 triple11) -> rule2) ((((triple12 triple11) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2) triple13) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2) triple13) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2) ((((triple12 triple11) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2) ((((triple12 triple11) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 triple11) -> rule2) ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 triple11) -> rule2) ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2) ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2) ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2) ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2) ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3))] Fiona is rough.[(triple11 OR ((((triple10) -> rule7)) -> rule4) OR ((((triple10) -> rule7)) -> rule9) OR ((((triple12) -> rule5)) -> rule4) OR ((((triple12) -> rule5)) -> rule9))] Fiona is round.[(triple12 OR ((triple11 ((triple10) -> rule7)) -> rule1) OR ((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) OR ((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1))] Fiona is smart.[(triple13 OR ((((triple12 triple11) -> rule2)) -> rule8) OR ((((triple12 ((((triple10) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((triple12 ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple11 ((triple10) -> rule7)) -> rule1) triple11) -> rule2)) -> rule8) OR ((((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) triple11) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) triple11) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule9)) -> rule2)) -> rule8))] Gary is big.[(triple14)] Gary is round.[(triple15)] Gary is smart.[(triple16 OR ((((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2)) -> rule8) OR ((((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2)) -> rule8))] @1: Erin is rough.[(((triple9) -> rule4) OR ((triple9) -> rule9))] Fiona is green.[(((triple12 triple11) -> rule2) OR ((triple12 ((((triple10) -> rule7)) -> rule4)) -> rule2) OR ((triple12 ((((triple10) -> rule7)) -> rule9)) -> rule2) OR ((triple12 ((((triple12) -> rule5)) -> rule4)) -> rule2) OR ((triple12 ((((triple12) -> rule5)) -> rule9)) -> rule2) OR ((((triple11 ((triple10) -> rule7)) -> rule1) triple11) -> rule2) OR ((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule4)) -> rule2) OR ((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule9)) -> rule2) OR ((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule4)) -> rule2) OR ((((triple11 ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) triple11) -> rule2) OR ((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) triple11) -> rule2) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule9)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule4) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule9)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple10) -> rule7)) -> rule9)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple10) -> rule7)) -> rule9) ((triple10) -> rule7)) -> rule1) ((((triple12) -> rule5)) -> rule9)) -> rule2))] Fiona is red.[(((triple10) -> rule7) OR ((triple12) -> rule5) OR ((((triple12 triple11) -> rule2)) -> rule6) OR ((((((triple12 triple11) -> rule2) triple13) -> rule3)) -> rule7) OR ((((((triple12 triple11) -> rule2) ((((triple12 triple11) -> rule2)) -> rule8)) -> rule3)) -> rule7))] Gary is red.[(((triple15) -> rule5))] @2: Erin is round.[(((((triple9) -> rule4) triple9) -> rule1) OR ((((triple9) -> rule9) triple9) -> rule1))] Gary is rough.[(((((triple15) -> rule5)) -> rule4) OR ((((triple15) -> rule5)) -> rule9))] @3: Erin is green.[(((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) OR ((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) OR ((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) OR ((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2))] Gary is green.[(((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2) OR ((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2))] @4: Erin is smart.[(((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8))] Gary is nice.[(((((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2) triple16) -> rule3) OR ((((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2) triple16) -> rule3) OR ((((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2) ((((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2) ((((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2) ((((triple15 ((((triple15) -> rule5)) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2) ((((triple15 ((((triple15) -> rule5)) -> rule9)) -> rule2)) -> rule8)) -> rule3))] @5: Erin is nice.[(((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule4) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule4)) -> rule2)) -> rule8)) -> rule3) OR ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2) ((((((((triple9) -> rule9) triple9) -> rule1) ((triple9) -> rule9)) -> rule2)) -> rule8)) -> rule3))]