Bob is not blue. Charlie is white. Dave is rough. Gary is rough. All rough things are quiet. Quiet things are not white. If something is white then it is not rough.
Dave is not rough.
@0: Bob is not blue.[(triple1)] Charlie is white.[(triple2)] Dave is rough.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is not rough.[(((triple2) -> rule3))] Dave is quiet.[(((triple3) -> rule1))] Gary is quiet.[(((triple4) -> rule1))] @2: Dave is not white.[(((((triple3) -> rule1)) -> rule2))] Gary is not white.[(((((triple4) -> rule1)) -> rule2))]