Erin is big. Erin is not green. Harry is red. If Harry is red then Harry is quiet. Quiet people are not green. Green people are quiet. If someone is furry and not quiet then they are not rough. If someone is red and not green then they are furry. If someone is furry and not rough then they are big.
Harry is green.
@0: Erin is big.[(triple1)] Erin is not green.[(triple2)] Harry is red.[(triple3)] @1: Harry is quiet.[(((triple3) -> rule1))] @2: Harry is not green.[(((((triple3) -> rule1)) -> rule2))] @3: Harry is furry.[(((triple3 ((((triple3) -> rule1)) -> rule2)) -> rule5))]