The cow is big. The cow is green. The cow is kind. The cow is red. The cow is round. Big, red things are green. If something is green then it is red. Red, kind things are big. If the cow is green then the cow is red. Round things are kind. If something is kind then it is red. Big, kind things are round. If the cow is green and the cow is red then the cow is kind.
The cow is round.
@0: The cow is big.[(triple1 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple5) -> rule5)) -> rule3) OR ((triple4 ((triple2 triple4) -> rule8)) -> rule3) OR ((((triple2) -> rule2) triple3) -> rule3) OR ((((triple2) -> rule4) triple3) -> rule3) OR ((((triple3) -> rule6) triple3) -> rule3) OR ((((triple2) -> rule2) ((triple5) -> rule5)) -> rule3) OR ((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) OR ((((triple2) -> rule4) ((triple5) -> rule5)) -> rule3) OR ((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) OR ((((triple3) -> rule6) ((triple5) -> rule5)) -> rule3) OR ((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) OR ((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) OR ((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6) triple3) -> rule3) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) OR ((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) OR ((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) OR ((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) OR ((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) OR ((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6) ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) OR ((((((triple5) -> rule5)) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3))] The cow is green.[(triple2 OR ((triple1 triple4) -> rule1) OR ((triple1 ((triple3) -> rule6)) -> rule1) OR ((((triple4 triple3) -> rule3) triple4) -> rule1) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule6)) -> rule1) OR ((triple1 ((((triple5) -> rule5)) -> rule6)) -> rule1) OR ((((triple4 ((triple5) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((triple3) -> rule6) triple3) -> rule3) triple4) -> rule1) OR ((((triple4 triple3) -> rule3) ((((triple5) -> rule5)) -> rule6)) -> rule1) OR ((((triple4 ((triple5) -> rule5)) -> rule3) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6) ((triple5) -> rule5)) -> rule3) triple4) -> rule1) OR ((((triple4 ((triple5) -> rule5)) -> rule3) ((((triple5) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple5) -> rule5)) -> rule6)) -> rule1) OR ((((((triple3) -> rule6) ((triple5) -> rule5)) -> rule3) ((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule6) ((triple5) -> rule5)) -> rule3) ((((triple5) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5)) -> rule6) triple3) -> rule3) triple4) -> rule1) OR ((((((((triple5) -> rule5)) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5)) -> rule6) ((triple5) -> rule5)) -> rule3) triple4) -> rule1) OR ((((((((triple5) -> rule5)) -> rule6) triple3) -> rule3) ((((triple5) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5)) -> rule6) ((triple5) -> rule5)) -> rule3) ((triple3) -> rule6)) -> rule1) OR ((((((((triple5) -> rule5)) -> rule6) ((triple5) -> rule5)) -> rule3) ((((triple5) -> rule5)) -> rule6)) -> rule1))] The cow is kind.[(triple3 OR ((triple5) -> rule5) OR ((triple2 triple4) -> rule8) OR ((triple2 ((triple2) -> rule2)) -> rule8) OR ((triple2 ((triple2) -> rule4)) -> rule8) OR ((((triple1 triple4) -> rule1) triple4) -> rule8) OR ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8) OR ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8))] The cow is red.[(triple4 OR ((triple2) -> rule2) OR ((triple2) -> rule4) OR ((triple3) -> rule6) OR ((((triple5) -> rule5)) -> rule6))] The cow is round.[(triple5 OR ((triple1 triple3) -> rule7) OR ((triple1 ((triple2 triple4) -> rule8)) -> rule7) OR ((((triple4 triple3) -> rule3) triple3) -> rule7) OR ((((triple4 triple3) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((triple1 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((triple1 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((triple1 ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) triple3) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) triple3) -> rule7) OR ((triple1 ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((triple1 ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 triple3) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 triple3) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) triple3) -> rule7) OR ((((triple4 triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 triple4) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) triple3) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((triple4 ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) triple4) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule2) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule2)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule2)) -> rule8)) -> rule7) OR ((((((triple3) -> rule6) ((triple2 ((triple2) -> rule4)) -> rule8)) -> rule3) ((((triple1 triple4) -> rule1) ((triple2) -> rule4)) -> rule8)) -> rule7))]