Dave is blue. Dave is quiet. Dave is white. All blue, rough things are not red. If something is quiet and not blue then it is red. If Dave is quiet then Dave is round.
Dave is not red.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is white.[(triple3)] @1: Dave is round.[(((triple2) -> rule3))]