Anne is furry. Bob is green. Dave is furry. All green, rough things are young. If Dave is smart and Dave is rough then Dave is furry. All smart things are furry. Rough, furry things are blue. If something is smart then it is blue. If Bob is young and Bob is smart then Bob is blue. Smart, cold things are green. If something is rough and cold then it is young.
Anne is not furry.
@0: Anne is furry.[(triple1)] Bob is green.[(triple2)] Dave is furry.[(triple3)]