Anne is big. Charlie is young. Erin is green. Big people are not green. If someone is quiet then they are green. If Charlie is blue then Charlie is young. If Anne is green and Anne is not big then Anne is young. If Erin is not young and Erin is not quiet then Erin is green. If someone is white and green then they are rough. If Anne is white and Anne is big then Anne is rough. If someone is big and not green then they are white.
Anne is not white.
@0: Anne is big.[(triple1)] Charlie is young.[(triple2)] Erin is green.[(triple3)] @1: Anne is not green.[(((triple1) -> rule1))] @2: Anne is white.[(((triple1 ((triple1) -> rule1)) -> rule8))] @3: Anne is rough.[(((((triple1 ((triple1) -> rule1)) -> rule8) triple1) -> rule7))]