Anne is big. Anne is kind. Erin is smart. Smart, green people are white. All white, kind people are quiet. If Erin is smart then Erin is white. All quiet, smart people are white. Quiet people are kind. Green people are red. All kind people are quiet. If someone is quiet then they are kind.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Erin is smart.[(triple3)] @1: Anne is quiet.[(((triple2) -> rule7))] Erin is white.[(((triple3) -> rule3))]