Dave is furry. All furry people are kind. All young people are smart. Smart people are furry. If someone is furry and kind then they are nice. All kind, nice people are quiet. If someone is rough and quiet then they are kind.
Dave is rough.
@0: Dave is furry.[(triple1)] @1: Dave is kind.[(((triple1) -> rule1))] @2: Dave is nice.[(((triple1 ((triple1) -> rule1)) -> rule4))] @3: Dave is quiet.[(((((triple1) -> rule1) ((triple1 ((triple1) -> rule1)) -> rule4)) -> rule5))]