Erin is big. Harry is quiet. All big things are young. White, red things are quiet. Furry, green things are big. If something is big and not red then it is furry. If Harry is red and Harry is not white then Harry is young. If Erin is big and Erin is green then Erin is furry. Big, furry things are green. If Erin is not furry then Erin is quiet.
Harry is red.
@0: Erin is big.[(triple1)] Harry is quiet.[(triple2)] @1: Erin is young.[(((triple1) -> rule1))]