Dave is quiet. Young, furry things are round. All quiet things are green. Young, furry things are kind. All young things are quiet. If something is young then it is quiet. If something is green then it is kind. All furry things are quiet. If Dave is kind and Dave is red then Dave is quiet.
Dave is quiet.
@0: Dave is quiet.[(triple1)] @1: Dave is green.[(((triple1) -> rule2))] @2: Dave is kind.[(((((triple1) -> rule2)) -> rule6))]