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.
Charlie is rough.
@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))]