Anne is white. All quiet people are young. Quiet people are not young. If someone is big then they are kind. If someone is white and not smart then they are kind. If Anne is smart and Anne is quiet then Anne is not big. All white people are big. If Anne is smart and Anne is white then Anne is not quiet. All white, kind people are green.
Anne is big.
@0: Anne is white.[(triple1)] @1: Anne is big.[(((triple1) -> rule6))] @2: Anne is kind.[(((((triple1) -> rule6)) -> rule3))] @3: Anne is green.[(((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule8))]