Charlie is blue. Charlie is white. Dave is not blue. Dave is not furry. Dave is quiet. Dave is not rough. Dave is young. If Charlie is blue then Charlie is not round. All young things are round.
Charlie is not quiet.
@0: Charlie is blue.[(triple1)] Charlie is white.[(triple2)] Dave is not blue.[(triple3)] Dave is not furry.[(triple4)] Dave is not rough.[(triple6)] Dave is quiet.[(triple5)] Dave is young.[(triple7)] @1: Charlie is not round.[(((triple1) -> rule1))] Dave is round.[(((triple7) -> rule2))]