Dave is rough. All round things are cold. Kind things are furry. If something is rough then it is red. Kind things are red. All rough, red things are not round. If Dave is nice and Dave is kind then Dave is rough. If Dave is furry then Dave is not round. All furry things are not kind.
Dave is kind.
@0: Dave is rough.[(triple1)] @1: Dave is red.[(((triple1) -> rule3))] @2: Dave is not round.[(((triple1 ((triple1) -> rule3)) -> rule5))]