Anne is furry. Bob is cold. Charlie is young. Dave is blue. All quiet, blue things are cold. If something is young then it is green. White, furry things are cold. If Charlie is green and Charlie is white then Charlie is furry. White, young things are furry. All blue things are green.
Dave is blue.
@0: Anne is furry.[(triple1)] Bob is cold.[(triple2)] Charlie is young.[(triple3)] Dave is blue.[(triple4)] @1: Charlie is green.[(((triple3) -> rule2))] Dave is green.[(((triple4) -> rule6))]