Charlie is green. Charlie is rough. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Harry is big. Harry is green. Harry is quiet. Harry is rough. If something is rough then it is green. Blue, big things are nice. All nice, green things are quiet. All green things are blue. If Charlie is rough and Charlie is red then Charlie is green. All blue, green things are big. If Charlie is nice then Charlie is quiet. If something is rough then it is blue.
Charlie is nice.
@0: Charlie is green.[(triple1 OR ((triple2) -> rule1))] Charlie is rough.[(triple2)] Gary is big.[(triple3 OR ((triple4 ((triple8) -> rule1)) -> rule6) OR ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6) OR ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6))] Gary is blue.[(triple4 OR ((triple8) -> rule8) OR ((((triple8) -> rule1)) -> rule4))] Gary is nice.[(triple5 OR ((triple4 triple3) -> rule2) OR ((((triple8) -> rule8) triple3) -> rule2) OR ((triple4 ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) triple3) -> rule2) OR ((triple4 ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((triple4 ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((triple8) -> rule8) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) OR ((((((triple8) -> rule1)) -> rule4) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2))] Gary is quiet.[(triple6 OR ((triple5 ((triple8) -> rule1)) -> rule3) OR ((((triple4 triple3) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) triple3) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple4 ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) triple3) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple4 ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) ((triple4 ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) ((((triple8) -> rule8) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((triple4 ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule8) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule4) ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule6)) -> rule2) ((triple8) -> rule1)) -> rule3))] Gary is red.[(triple7)] Gary is rough.[(triple8)] Harry is big.[(triple9 OR ((((triple10) -> rule4) triple10) -> rule6) OR ((((triple12) -> rule8) triple10) -> rule6) OR ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6) OR ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6) OR ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6) OR ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6))] Harry is green.[(triple10 OR ((triple12) -> rule1))] Harry is quiet.[(triple11 OR ((((((triple10) -> rule4) triple9) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) triple9) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) triple9) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) triple9) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) triple9) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) triple9) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) triple10) -> rule3) OR ((((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) ((triple12) -> rule1)) -> rule3))] Harry is rough.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule4) OR ((triple2) -> rule8) OR ((((triple2) -> rule1)) -> rule4))] Gary is green.[(((triple8) -> rule1))] Harry is blue.[(((triple10) -> rule4) OR ((triple12) -> rule8) OR ((((triple12) -> rule1)) -> rule4))] @2: Charlie is big.[(((((triple1) -> rule4) triple1) -> rule6) OR ((((triple2) -> rule8) triple1) -> rule6) OR ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6))] Harry is nice.[(((((triple10) -> rule4) triple9) -> rule2) OR ((((triple12) -> rule8) triple9) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) triple9) -> rule2) OR ((((triple10) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) triple10) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) triple10) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple10) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((triple12) -> rule8) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) OR ((((triple10) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((triple12) -> rule8) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) triple10) -> rule6)) -> rule2) OR ((((((triple12) -> rule1)) -> rule4) ((((((triple12) -> rule1)) -> rule4) ((triple12) -> rule1)) -> rule6)) -> rule2))] @3: Charlie is nice.[(((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2))] @4: Charlie is quiet.[(((((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple1) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((triple2) -> rule8) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2)) -> rule7) OR ((((((triple1) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((triple2) -> rule8) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) triple1) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) triple1) -> rule3) OR ((((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule1)) -> rule6)) -> rule2) ((triple2) -> rule1)) -> rule3))]