Dave is not rough. Dave is round. Dave is not white. If Dave is not round then Dave is white. If someone is rough then they are furry. If Dave is not rough then Dave is not furry. Blue people are white. All round people are not blue. If someone is blue and not white then they are kind.
Dave is not kind.
@0: Dave is not rough.[(triple1)] Dave is not white.[(triple3)] Dave is round.[(triple2)] @1: Dave is not blue.[(((triple2) -> rule5))] Dave is not furry.[(((triple1) -> rule3))]