Dave is round. Dave is white. Dave is young. All round things are furry. If something is rough and young then it is white.
Dave is round.
@0: Dave is round.[(triple1)] Dave is white.[(triple2)] Dave is young.[(triple3)] @1: Dave is furry.[(((triple1) -> rule1))]