Dave is furry. Dave is red. Dave is not rough. If something is furry then it is not blue. If Dave is rough then Dave is not young. White things are young. Young, kind things are not red. If something is red and not blue then it is white. Red things are white.
Dave is white.
@0: Dave is furry.[(triple1)] Dave is not rough.[(triple3)] Dave is red.[(triple2)] @1: Dave is not blue.[(((triple1) -> rule1))] Dave is white.[(((triple2) -> rule6) OR ((triple2 ((triple1) -> rule1)) -> rule5))] @2: Dave is young.[(((((triple2) -> rule6)) -> rule3) OR ((((triple2 ((triple1) -> rule1)) -> rule5)) -> rule3))]