Anne is blue. Bob is quiet. Dave is quiet. Harry is not kind. If Harry is not kind then Harry is rough. All rough things are not quiet. If Harry is not rough then Harry is furry. If something is furry and not cold then it is round. If something is furry and blue then it is not round. If something is blue and not rough then it is furry. If something is furry and not quiet then it is blue. If something is furry then it is blue.
Dave is kind.
@0: Anne is blue.[(triple1)] Bob is quiet.[(triple2)] Dave is quiet.[(triple3)] Harry is not kind.[(triple4)] @1: Harry is rough.[(((triple4) -> rule1))] @2: Harry is not quiet.[(((((triple4) -> rule1)) -> rule2))]