Dave is furry. If Dave is red then Dave is furry. If something is furry then it is red. All red things are blue. All young, furry things are blue. Red, blue things are not young. If Dave is young and Dave is round then Dave is quiet.
Dave is not young.
@0: Dave is furry.[(triple1)] @1: Dave is red.[(((triple1) -> rule2))] @2: Dave is blue.[(((((triple1) -> rule2)) -> rule3))] @3: Dave is not young.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule5))]