Charlie is cold. Charlie is kind. Charlie is rough. If Charlie is kind then Charlie is green. If Charlie is white then Charlie is kind. Rough things are cold. All cold things are white. Green, white things are nice. All rough, nice things are quiet. Cold, green things are nice. All rough things are white.
Charlie is not nice.
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule3))] Charlie is kind.[(triple2 OR ((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4)) -> rule2))] Charlie is rough.[(triple3)] @1: Charlie is green.[(((triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1))] Charlie is white.[(((triple1) -> rule4) OR ((triple3) -> rule8) OR ((((triple3) -> rule3)) -> rule4))] @2: Charlie is nice.[(((triple1 ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5))] @3: Charlie is quiet.[(((triple3 ((triple1 ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6))]