Anne is white. Bob is nice. Dave is quiet. All rough things are quiet. Quiet things are nice.
Anne is not nice.
@0: Anne is white.[(triple1)] Bob is nice.[(triple2)] Dave is quiet.[(triple3)] @1: Dave is nice.[(((triple3) -> rule2))]