Erin is blue. Erin is furry. Harry is kind. All furry things are green. Young, kind things are nice. All green, young things are kind.
Harry is not kind.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Harry is kind.[(triple3)] @1: Erin is green.[(((triple2) -> rule1))]