Anne is quiet. Bob is not nice. Charlie is blue. Dave is furry. If something is nice then it is not round. Quiet things are round. If something is furry and not quiet then it is rough. If something is blue and not kind then it is rough. Furry things are not rough. All rough, nice things are blue.
Bob is furry.
@0: Anne is quiet.[(triple1)] Bob is not nice.[(triple2)] Charlie is blue.[(triple3)] Dave is furry.[(triple4)] @1: Anne is round.[(((triple1) -> rule2))] Dave is not rough.[(((triple4) -> rule5))]