Erin is smart. Gary is young. If Erin is kind and Erin is smart then Erin is nice. All green, quiet things are furry. Kind, furry things are quiet. Nice things are smart. Furry, kind things are young. If something is smart then it is furry.
Erin is kind.
@0: Erin is smart.[(triple1)] Gary is young.[(triple2)] @1: Erin is furry.[(((triple1) -> rule6))]