Dave is furry. Dave is white. Dave is young. If someone is young then they are blue.
Dave is big.
@0: Dave is furry.[(triple1)] Dave is white.[(triple2)] Dave is young.[(triple3)] @1: Dave is blue.[(((triple3) -> rule1))]