Anne is green. Anne is white. Anne is young. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is white. Harry is young. Quiet things are white. If something is nice and young then it is round. If Harry is green and Harry is young then Harry is round. Nice, round things are kind. If something is quiet and white then it is young. All young, white things are nice.
Anne is not kind.
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Harry is green.[(triple4)] Harry is kind.[(triple5 OR ((triple6 triple8) -> rule4) OR ((triple6 ((triple4 triple10) -> rule3)) -> rule4) OR ((triple6 ((triple6 triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) triple8) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((triple6 ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((triple6 ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) triple8) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple8) -> rule4) OR ((triple6 ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple8) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((triple6 ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple8) -> rule4) OR ((triple6 ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 triple9) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple8) -> rule4) OR ((triple6 ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 triple10) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((triple6 ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2)) -> rule4) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2)) -> rule4) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2)) -> rule4) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2)) -> rule4))] Harry is nice.[(triple6 OR ((triple10 triple9) -> rule6) OR ((triple10 ((triple7) -> rule1)) -> rule6) OR ((((triple7 triple9) -> rule5) triple9) -> rule6) OR ((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) OR ((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) OR ((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6))] Harry is quiet.[(triple7)] Harry is round.[(triple8 OR ((triple4 triple10) -> rule3) OR ((triple6 triple10) -> rule2) OR ((triple4 ((triple7 triple9) -> rule5)) -> rule3) OR ((triple6 ((triple7 triple9) -> rule5)) -> rule2) OR ((((triple10 triple9) -> rule6) triple10) -> rule2) OR ((((triple10 triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((triple4 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule3) OR ((triple6 ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 ((triple7) -> rule1)) -> rule6) triple10) -> rule2) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) triple10) -> rule2) OR ((((triple10 triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2) OR ((((triple10 ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 triple9) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) triple10) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) triple10) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) triple9) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 triple9) -> rule5)) -> rule2) OR ((((((triple7 ((triple7) -> rule1)) -> rule5) ((triple7) -> rule1)) -> rule6) ((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2))] Harry is white.[(triple9 OR ((triple7) -> rule1))] Harry is young.[(triple10 OR ((triple7 triple9) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] @1: Anne is nice.[(((triple3 triple2) -> rule6))] @2: Anne is round.[(((((triple3 triple2) -> rule6) triple3) -> rule2))] @3: Anne is kind.[(((((triple3 triple2) -> rule6) ((((triple3 triple2) -> rule6) triple3) -> rule2)) -> rule4))]