Erin is young. Harry is nice. All young, furry people are quiet. All young people are quiet.
Erin is not young.
@0: Erin is young.[(triple1)] Harry is nice.[(triple2)] @1: Erin is quiet.[(((triple1) -> rule2))]