Anne is quiet. Bob is furry. Dave is cold. Dave is not quiet. Dave is white. Dave is young. Harry is not white. If something is kind then it is not furry. Quiet things are not white. Young, white things are kind.
Anne is not cold.
@0: Anne is quiet.[(triple1)] Bob is furry.[(triple2)] Dave is cold.[(triple3)] Dave is not quiet.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Harry is not white.[(triple7)] @1: Anne is not white.[(((triple1) -> rule2))] Dave is kind.[(((triple6 triple5) -> rule3))] @2: Dave is not furry.[(((((triple6 triple5) -> rule3)) -> rule1))]