Young Alan is wearing green pants. Dave is a nice person who is red because he has a rash. Eric is a young guy who is also round, red, kind, cold and blue. Young Gary is wearing green pants. A round person who is nice and feelin cold is usually rough in apperance. A round shaped and young aged person will be very cold. People who are round and young are also very nice. It's been proven that red, rough people are green as well. Nice people who are cold and blue after being plucked from the water have the decency to turn red with embarrassment at having to be rescued following a water skiing gaffe. Someone who's young and frosty cold are actually very nice. Anyone you know who is cold and kind must certainly be young.
Gary is blue.
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Eric is blue.[(triple10)] Eric is cold.[(triple9 OR ((triple6 triple5) -> rule2))] Eric is kind.[(triple8)] Eric is red.[(triple7 OR ((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) OR ((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) OR ((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) OR ((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) OR ((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) OR ((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) OR ((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) OR ((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) OR ((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) OR ((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) OR ((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) OR ((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5))] Eric is round.[(triple6)] Eric is young.[(triple5 OR ((triple9 triple8) -> rule7))] Gary is green.[(triple12)] Gary is young.[(triple11)] @1: Eric is nice.[(((triple5 triple9) -> rule6) OR ((triple6 triple5) -> rule3) OR ((triple5 ((triple6 triple5) -> rule2)) -> rule6) OR ((triple6 ((triple9 triple8) -> rule7)) -> rule3) OR ((((triple9 triple8) -> rule7) triple9) -> rule6) OR ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6))] @2: Eric is rough.[(((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1) OR ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1) OR ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1) OR ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1) OR ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1) OR ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1) OR ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1) OR ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1) OR ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1) OR ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1) OR ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1) OR ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1))] @3: Eric is green.[(((triple7 ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((triple7 ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) triple9) -> rule1)) -> rule4) OR ((((triple9 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 triple5) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 triple5) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) triple9) -> rule1)) -> rule4) OR ((((triple9 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple5 ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((triple6 ((triple9 triple8) -> rule7)) -> rule3) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) triple9) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple5 ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((triple6 ((triple9 triple8) -> rule7)) -> rule3) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) triple9) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple9) -> rule1)) -> rule4) OR ((((((triple6 triple5) -> rule2) ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) triple10) -> rule5) ((triple6 ((((triple9 triple8) -> rule7) ((triple6 triple5) -> rule2)) -> rule6) ((triple6 triple5) -> rule2)) -> rule1)) -> rule4))]