Erin is quiet. All big people are not furry. All quiet people are white. If someone is white then they are not red.
Erin is not quiet.
@0: Erin is quiet.[(triple1)] @1: Erin is white.[(((triple1) -> rule2))] @2: Erin is not red.[(((((triple1) -> rule2)) -> rule3))]