Bob is big. Bob is blue. Bob is green. Bob is quiet. Bob is rough. Bob is white. Charlie is big. Charlie is blue. Charlie is rough. Harry is big. Harry is green. Harry is quiet. Harry is red. Harry is rough. Harry is white. If someone is quiet and green then they are rough. If someone is rough and quiet then they are white. All quiet people are rough. All blue people are big. If someone is big and blue then they are green. Red people are white. All big, green people are quiet. If Harry is rough and Harry is big then Harry is green.
Charlie is not red.
@0: Bob is big.[(triple1 OR ((triple2) -> rule4))] Bob is blue.[(triple2)] Bob is green.[(triple3 OR ((triple1 triple2) -> rule5) OR ((((triple2) -> rule4) triple2) -> rule5))] Bob is quiet.[(triple4 OR ((triple1 triple3) -> rule7) OR ((triple1 ((triple1 triple2) -> rule5)) -> rule7) OR ((((triple2) -> rule4) triple3) -> rule7) OR ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) OR ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7))] Bob is rough.[(triple5 OR ((triple4) -> rule3) OR ((triple4 triple3) -> rule1) OR ((((triple1 triple3) -> rule7)) -> rule3) OR ((triple4 ((triple1 triple2) -> rule5)) -> rule1) OR ((((triple1 triple3) -> rule7) triple3) -> rule1) OR ((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) OR ((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) OR ((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) OR ((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) OR ((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) OR ((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) OR ((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1))] Bob is white.[(triple6 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple1 triple3) -> rule7)) -> rule2) OR ((((triple4) -> rule3) triple4) -> rule2) OR ((((triple4 triple3) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((triple4 triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((triple5 ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) triple4) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) triple4) -> rule2) OR ((triple5 ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((triple4 triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((triple4 triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((triple5 ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) triple4) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) triple4) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) triple4) -> rule2) OR ((triple5 ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) triple4) -> rule2) OR ((((triple4 triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((triple4 triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 triple3) -> rule7)) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((triple4 ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7)) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((triple4 ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) triple3) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) triple4) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) triple4) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) triple4) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) triple4) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) triple4) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 triple3) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule3) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) triple3) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) triple3) -> rule7)) -> rule2) OR ((((((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((triple1 triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((triple1 ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((triple1 triple2) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7) ((((triple2) -> rule4) triple2) -> rule5)) -> rule1) ((((triple2) -> rule4) ((((triple2) -> rule4) triple2) -> rule5)) -> rule7)) -> rule2))] Charlie is big.[(triple7 OR ((triple8) -> rule4))] Charlie is blue.[(triple8)] Charlie is rough.[(triple9 OR ((((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) OR ((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) OR ((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) OR ((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) OR ((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) OR ((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) OR ((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) OR ((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) OR ((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) OR ((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1))] Harry is big.[(triple10)] Harry is green.[(triple11 OR ((triple14 triple10) -> rule8) OR ((((triple12) -> rule3) triple10) -> rule8))] Harry is quiet.[(triple12 OR ((triple10 triple11) -> rule7) OR ((triple10 ((triple14 triple10) -> rule8)) -> rule7))] Harry is red.[(triple13)] Harry is rough.[(triple14 OR ((triple12) -> rule3) OR ((triple12 triple11) -> rule1) OR ((((triple10 triple11) -> rule7)) -> rule3) OR ((((triple10 triple11) -> rule7) triple11) -> rule1))] Harry is white.[(triple15 OR ((triple13) -> rule6) OR ((triple14 triple12) -> rule2) OR ((triple14 ((triple10 triple11) -> rule7)) -> rule2) OR ((((triple12) -> rule3) triple12) -> rule2) OR ((((triple12 triple11) -> rule1) triple12) -> rule2) OR ((((triple12) -> rule3) ((triple10 triple11) -> rule7)) -> rule2) OR ((((triple12 triple11) -> rule1) ((triple10 triple11) -> rule7)) -> rule2) OR ((triple14 ((triple10 ((triple14 triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple10 triple11) -> rule7)) -> rule3) triple12) -> rule2) OR ((((((triple10 triple11) -> rule7) triple11) -> rule1) triple12) -> rule2) OR ((((triple12) -> rule3) ((triple10 ((triple14 triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple10 triple11) -> rule7)) -> rule3) ((triple10 triple11) -> rule7)) -> rule2) OR ((((triple12 triple11) -> rule1) ((triple10 ((triple14 triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple10 triple11) -> rule7) triple11) -> rule1) ((triple10 triple11) -> rule7)) -> rule2) OR ((((((triple10 triple11) -> rule7)) -> rule3) ((triple10 ((triple14 triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple10 triple11) -> rule7) triple11) -> rule1) ((triple10 ((triple14 triple10) -> rule8)) -> rule7)) -> rule2))] @1: Charlie is green.[(((triple7 triple8) -> rule5) OR ((((triple8) -> rule4) triple8) -> rule5))] @2: Charlie is quiet.[(((triple7 ((triple7 triple8) -> rule5)) -> rule7) OR ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) OR ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) OR ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7))] @3: Charlie is white.[(((triple9 ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((triple9 ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((triple9 ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((triple9 ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule3) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((triple7 triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((triple7 ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((triple7 triple8) -> rule5)) -> rule7)) -> rule2) OR ((((((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7) ((((triple8) -> rule4) triple8) -> rule5)) -> rule1) ((((triple8) -> rule4) ((((triple8) -> rule4) triple8) -> rule5)) -> rule7)) -> rule2))]