Anne is young. Charlie is big. Dave is rough. If something is smart then it is big. Kind things are not big. All rough, white things are not young. If something is furry and white then it is not young. All furry things are young. If something is big and not rough then it is furry. Rough things are furry. All young, smart things are white.
Dave is smart.
@0: Anne is young.[(triple1)] Charlie is big.[(triple2)] Dave is rough.[(triple3)] @1: Dave is furry.[(((triple3) -> rule7))] @2: Dave is young.[(((((triple3) -> rule7)) -> rule5))]