Dave is young. Gary is nice. Harry is furry. Round things are nice. If Dave is green then Dave is blue. If something is furry and round then it is nice. If something is furry then it is blue. Blue, furry things are smart. If something is smart then it is green. Blue, nice things are young. All young, green things are furry.
Dave is not green.
@0: Dave is young.[(triple1)] Gary is nice.[(triple2)] Harry is furry.[(triple3)] @1: Harry is blue.[(((triple3) -> rule4))] @2: Harry is smart.[(((((triple3) -> rule4) triple3) -> rule5))] @3: Harry is green.[(((((((triple3) -> rule4) triple3) -> rule5)) -> rule6))]