Anne is kind. Anne is smart. Erin is kind. If Erin is kind then Erin is smart. All white people are smart. All smart, quiet people are kind. If someone is kind then they are furry. If Erin is quiet and Erin is white then Erin is round. Quiet, white people are smart. Smart, kind people are white. White people are quiet.
Anne is green.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Erin is kind.[(triple3)] @1: Anne is furry.[(((triple1) -> rule4))] Anne is white.[(((triple2 triple1) -> rule7))] Erin is furry.[(((triple3) -> rule4))] Erin is smart.[(((triple3) -> rule1))] @2: Anne is quiet.[(((((triple2 triple1) -> rule7)) -> rule8))] Erin is white.[(((((triple3) -> rule1) triple3) -> rule7))] @3: Erin is quiet.[(((((((triple3) -> rule1) triple3) -> rule7)) -> rule8))] @4: Erin is round.[(((((((((triple3) -> rule1) triple3) -> rule7)) -> rule8) ((((triple3) -> rule1) triple3) -> rule7)) -> rule5))]