Gary is big. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is smart. Quiet, nice things are red. All big, red things are nice. All cold things are nice. Cold, red things are kind. If something is cold then it is nice. Cold things are red. All smart, quiet things are cold. Kind, cold things are big.
Gary is nice.
@0: Gary is big.[(triple1 OR ((triple3 triple2) -> rule8) OR ((triple3 ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 triple6) -> rule4) triple2) -> rule8) OR ((((triple2 triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((triple2) -> rule6)) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple5 triple4) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) triple6) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((triple5 triple4) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 triple4) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 triple4) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple5 ((triple2) -> rule3)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple5 ((triple2) -> rule5)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((triple5 ((triple2) -> rule3)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((triple5 ((triple2) -> rule5)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((triple2) -> rule3)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((triple2) -> rule5)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((triple2) -> rule3)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((triple2) -> rule5)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((triple2 ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((triple2 ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) OR ((((((triple7 triple5) -> rule7) ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8))] Gary is cold.[(triple2 OR ((triple7 triple5) -> rule7))] Gary is kind.[(triple3 OR ((triple2 triple6) -> rule4) OR ((triple2 ((triple2) -> rule6)) -> rule4) OR ((triple2 ((triple5 triple4) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule7) triple6) -> rule4) OR ((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) OR ((((triple7 triple5) -> rule7) ((triple5 triple4) -> rule1)) -> rule4) OR ((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) OR ((triple2 ((triple5 ((triple2) -> rule3)) -> rule1)) -> rule4) OR ((triple2 ((triple5 ((triple2) -> rule5)) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) OR ((((triple7 triple5) -> rule7) ((triple5 ((triple2) -> rule3)) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule7) ((triple5 ((triple2) -> rule5)) -> rule1)) -> rule4) OR ((triple2 ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1)) -> rule4) OR ((triple2 ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule7) ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1)) -> rule4) OR ((((triple7 triple5) -> rule7) ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1)) -> rule4))] Gary is nice.[(triple4 OR ((triple2) -> rule3) OR ((triple2) -> rule5) OR ((triple1 triple6) -> rule2) OR ((((triple7 triple5) -> rule7)) -> rule3) OR ((((triple7 triple5) -> rule7)) -> rule5) OR ((triple1 ((triple2) -> rule6)) -> rule2) OR ((((triple3 triple2) -> rule8) triple6) -> rule2) OR ((((triple3 triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((triple1 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple3 ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((((triple2 triple6) -> rule4) triple2) -> rule8) triple6) -> rule2) OR ((((triple3 triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple3 ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((triple2 triple6) -> rule4) triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((triple2 triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((triple3 ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple2 triple6) -> rule4) triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple2 triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((triple2 triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) triple2) -> rule8) triple6) -> rule2) OR ((((((((triple7 triple5) -> rule7) triple6) -> rule4) triple2) -> rule8) triple6) -> rule2) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((((((triple7 triple5) -> rule7) triple6) -> rule4) triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) triple2) -> rule8) triple6) -> rule2) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) triple6) -> rule4) triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((((triple2 ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) triple6) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((triple2) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) triple6) -> rule2) OR ((((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) triple6) -> rule2) OR ((((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) triple6) -> rule2) OR ((((((triple2 ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) triple2) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((triple2) -> rule6)) -> rule2) OR ((((((((triple7 triple5) -> rule7) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule4) ((triple7 triple5) -> rule7)) -> rule8) ((((triple7 triple5) -> rule7)) -> rule6)) -> rule2))] Gary is quiet.[(triple5)] Gary is red.[(triple6 OR ((triple2) -> rule6) OR ((triple5 triple4) -> rule1) OR ((((triple7 triple5) -> rule7)) -> rule6) OR ((triple5 ((triple2) -> rule3)) -> rule1) OR ((triple5 ((triple2) -> rule5)) -> rule1) OR ((triple5 ((((triple7 triple5) -> rule7)) -> rule3)) -> rule1) OR ((triple5 ((((triple7 triple5) -> rule7)) -> rule5)) -> rule1))] Gary is smart.[(triple7)] Harry is big.[(triple8 OR ((((triple9 ((triple9) -> rule6)) -> rule4) triple9) -> rule8) OR ((((triple9 ((triple11 triple10) -> rule1)) -> rule4) triple9) -> rule8) OR ((((triple9 ((triple9) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((triple9 ((triple11 triple10) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 triple10) -> rule1)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 triple10) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) triple9) -> rule8) OR ((((triple9 ((triple11 ((triple9) -> rule3)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((triple9 ((triple11 ((triple9) -> rule5)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((triple9 ((triple11 ((triple9) -> rule3)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((triple9 ((triple11 ((triple9) -> rule5)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((triple9) -> rule3)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((triple9) -> rule5)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((triple9) -> rule3)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((triple9) -> rule5)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((triple9 ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((triple9 ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((triple9 ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((triple9 ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1)) -> rule4) triple9) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) OR ((((((triple12 triple11) -> rule7) ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8))] Harry is cold.[(triple9 OR ((triple12 triple11) -> rule7))] Harry is nice.[(triple10 OR ((triple9) -> rule3) OR ((triple9) -> rule5) OR ((((triple12 triple11) -> rule7)) -> rule3) OR ((((triple12 triple11) -> rule7)) -> rule5) OR ((triple8 ((triple9) -> rule6)) -> rule2) OR ((triple8 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple9) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) triple9) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) triple9) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((triple9 ((triple9) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) triple9) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) triple9) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) triple9) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) triple9) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) triple9) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((triple9) -> rule6)) -> rule2) OR ((((((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) ((triple12 triple11) -> rule7)) -> rule8) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule2))] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Harry is red.[(((triple9) -> rule6) OR ((triple11 triple10) -> rule1) OR ((((triple12 triple11) -> rule7)) -> rule6) OR ((triple11 ((triple9) -> rule3)) -> rule1) OR ((triple11 ((triple9) -> rule5)) -> rule1) OR ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1) OR ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1))] @2: Harry is kind.[(((triple9 ((triple9) -> rule6)) -> rule4) OR ((triple9 ((triple11 triple10) -> rule1)) -> rule4) OR ((((triple12 triple11) -> rule7) ((triple9) -> rule6)) -> rule4) OR ((((triple12 triple11) -> rule7) ((triple11 triple10) -> rule1)) -> rule4) OR ((triple9 ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) OR ((triple9 ((triple11 ((triple9) -> rule3)) -> rule1)) -> rule4) OR ((triple9 ((triple11 ((triple9) -> rule5)) -> rule1)) -> rule4) OR ((((triple12 triple11) -> rule7) ((((triple12 triple11) -> rule7)) -> rule6)) -> rule4) OR ((((triple12 triple11) -> rule7) ((triple11 ((triple9) -> rule3)) -> rule1)) -> rule4) OR ((((triple12 triple11) -> rule7) ((triple11 ((triple9) -> rule5)) -> rule1)) -> rule4) OR ((triple9 ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1)) -> rule4) OR ((triple9 ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1)) -> rule4) OR ((((triple12 triple11) -> rule7) ((triple11 ((((triple12 triple11) -> rule7)) -> rule3)) -> rule1)) -> rule4) OR ((((triple12 triple11) -> rule7) ((triple11 ((((triple12 triple11) -> rule7)) -> rule5)) -> rule1)) -> rule4))]