Bob is not quiet. Charlie is rough. Dave is quiet. Gary is rough. If Bob is round and Bob is red then Bob is quiet. Rough things are round.
Charlie is not rough.
@0: Bob is not quiet.[(triple1)] Charlie is rough.[(triple2)] Dave is quiet.[(triple3)] Gary is rough.[(triple4)] @1: Charlie is round.[(((triple2) -> rule2))] Gary is round.[(((triple4) -> rule2))]