Anne is rough. Anne is round. Anne is white. Dave is nice. Dave is quiet. Dave is round. Harry is blue. If something is kind then it is white. If something is round then it is blue. If something is blue then it is kind. All quiet things are round. If something is rough then it is nice. If Harry is quiet then Harry is not kind.
Anne is not kind.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3 OR ((((((triple2) -> rule2)) -> rule3)) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6 OR ((triple5) -> rule4))] Harry is blue.[(triple7)] @1: Anne is blue.[(((triple2) -> rule2))] Anne is nice.[(((triple1) -> rule5))] Dave is blue.[(((triple6) -> rule2) OR ((((triple5) -> rule4)) -> rule2))] Harry is kind.[(((triple7) -> rule3))] @2: Anne is kind.[(((((triple2) -> rule2)) -> rule3))] Dave is kind.[(((((triple6) -> rule2)) -> rule3) OR ((((((triple5) -> rule4)) -> rule2)) -> rule3))] Harry is white.[(((((triple7) -> rule3)) -> rule1))] @3: Dave is white.[(((((((triple6) -> rule2)) -> rule3)) -> rule1) OR ((((((((triple5) -> rule4)) -> rule2)) -> rule3)) -> rule1))]