Dave is big. If Dave is big then Dave is white. If Dave is not round then Dave is furry. Quiet, smart things are not big. All smart things are big. All round, nice things are furry. If Dave is furry and Dave is not smart then Dave is big.
Dave is not furry.
@0: Dave is big.[(triple1)] @1: Dave is white.[(((triple1) -> rule1))]