Fiona is big. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is young. If someone is round and quiet then they are green. Green, big people are cold. If someone is quiet then they are round. All cold people are quiet. If someone is big and young then they are cold. If Fiona is cold and Fiona is green then Fiona is young. Nice, cold people are young. Green, round people are nice.
Fiona is big.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2 OR ((triple1 triple7) -> rule5) OR ((triple3 triple1) -> rule2) OR ((((triple6 triple5) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2))] Fiona is green.[(triple3 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple2) -> rule4)) -> rule1) OR ((((triple5) -> rule3) triple5) -> rule1) OR ((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((triple6 ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) OR ((((triple5) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((((triple2) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) OR ((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) triple5) -> rule1) OR ((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1))] Fiona is nice.[(triple4 OR ((triple3 triple6) -> rule8) OR ((triple3 ((triple5) -> rule3)) -> rule8) OR ((((triple6 triple5) -> rule1) triple6) -> rule8) OR ((((triple6 triple5) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((triple2) -> rule4)) -> rule1) triple6) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1) triple6) -> rule8) OR ((((triple6 triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) OR ((((triple6 ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((triple3 ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((triple3 ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) triple6) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) triple6) -> rule8) OR ((((triple6 triple5) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) triple6) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) OR ((((triple6 ((triple2) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) triple6) -> rule8) OR ((((triple6 ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((triple6 ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((triple5) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple2) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) triple5) -> rule1) triple6) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) triple6) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3)) -> rule8) OR ((((((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) ((((triple1 triple7) -> rule5)) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8))] Fiona is quiet.[(triple5 OR ((triple2) -> rule4) OR ((((triple1 triple7) -> rule5)) -> rule4) OR ((((triple3 triple1) -> rule2)) -> rule4))] Fiona is round.[(triple6 OR ((triple5) -> rule3) OR ((((triple2) -> rule4)) -> rule3) OR ((((((triple1 triple7) -> rule5)) -> rule4)) -> rule3) OR ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3))] Fiona is young.[(triple7 OR ((triple2 triple3) -> rule6) OR ((triple4 triple2) -> rule7) OR ((triple2 ((triple6 triple5) -> rule1)) -> rule6) OR ((triple4 ((triple3 triple1) -> rule2)) -> rule7) OR ((((triple3 triple1) -> rule2) triple3) -> rule6) OR ((((triple3 triple6) -> rule8) triple2) -> rule7) OR ((((triple3 triple1) -> rule2) ((triple6 triple5) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((triple2 ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((triple2 ((((triple5) -> rule3) triple5) -> rule1)) -> rule6) OR ((triple4 ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((triple3 ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) triple3) -> rule6) OR ((((((triple6 triple5) -> rule1) triple6) -> rule8) triple2) -> rule7) OR ((triple2 ((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 triple1) -> rule2) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 triple1) -> rule2) ((((triple5) -> rule3) triple5) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((triple3 ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) ((triple6 triple5) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1) triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((triple3 triple1) -> rule2) ((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) ((((triple5) -> rule3) triple5) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1) triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) ((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((triple2 ((((((triple2) -> rule4)) -> rule3) triple5) -> rule1)) -> rule6) OR ((triple4 ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) triple6) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) triple3) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple6) -> rule8) triple2) -> rule7) OR ((triple2 ((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 triple1) -> rule2) ((((((triple2) -> rule4)) -> rule3) triple5) -> rule1)) -> rule6) OR ((((triple3 triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) ((triple6 triple5) -> rule1)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) triple2) -> rule7) OR ((((triple3 triple1) -> rule2) ((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple3 ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) ((((((triple2) -> rule4)) -> rule3) triple5) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1) triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) ((triple6 ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) ((((triple5) -> rule3) triple5) -> rule1)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((triple3 ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) triple1) -> rule2) ((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple6 triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) ((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) ((((((triple2) -> rule4)) -> rule3) triple5) -> rule1)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2) ((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((triple3 ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) triple6) -> rule8) triple2) -> rule7) OR ((((triple3 ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) triple2) -> rule7) OR ((((triple3 ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) triple2) -> rule7) OR ((((triple3 ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((triple6 triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) triple6) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) triple2) -> rule7) OR ((((((triple6 ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((triple5) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((triple3 triple1) -> rule2)) -> rule7) OR ((((((((triple5) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) triple5) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((triple2) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((triple6 triple5) -> rule1) triple1) -> rule2)) -> rule7) OR ((((((((((triple2) -> rule4)) -> rule3) ((triple2) -> rule4)) -> rule1) ((((((triple3 triple1) -> rule2)) -> rule4)) -> rule3)) -> rule8) ((((((triple5) -> rule3) triple5) -> rule1) triple1) -> rule2)) -> rule7))]