Dave is furry. Dave is green. Dave is round. Young things are quiet. Rough things are quiet. If Dave is furry then Dave is cold. Young, furry things are cold. If something is furry and cold then it is round. If something is cold and green then it is quiet. Young things are cold. Rough things are round.
Dave is cold.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is round.[(triple3 OR ((triple1 ((triple1) -> rule3)) -> rule5))] @1: Dave is cold.[(((triple1) -> rule3))] @2: Dave is quiet.[(((((triple1) -> rule3) triple2) -> rule6))]