Anne is rough. Charlie is nice. Erin is quiet. All kind people are furry. All quiet people are white. If someone is quiet then they are kind.
Erin is not quiet.
@0: Anne is rough.[(triple1)] Charlie is nice.[(triple2)] Erin is quiet.[(triple3)] @1: Erin is kind.[(((triple3) -> rule3))] Erin is white.[(((triple3) -> rule2))] @2: Erin is furry.[(((((triple3) -> rule3)) -> rule1))]