Erin is green. Young people are not round. All white people are young. Smart people are young. All big people are young. All quiet people are white. Smart people are not quiet. If someone is quiet and smart then they are big. If Erin is green then Erin is quiet.
Erin is not young.
@0: Erin is green.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule8))] @2: Erin is white.[(((((triple1) -> rule8)) -> rule5))] @3: Erin is young.[(((((((triple1) -> rule8)) -> rule5)) -> rule2))] @4: Erin is not round.[(((((((((triple1) -> rule8)) -> rule5)) -> rule2)) -> rule1))]