Anne is round. Erin is round. Gary is young. All young people are white. If someone is young and not quiet then they are white. All red people are green. Smart, young people are green. Round people are not young. All quiet, smart people are young. If someone is green and young then they are not round. If someone is quiet and green then they are not round.
Erin is not round.
@0: Anne is round.[(triple1)] Erin is round.[(triple2)] Gary is young.[(triple3)] @1: Anne is not young.[(((triple1) -> rule5))] Erin is not young.[(((triple2) -> rule5))] Gary is white.[(((triple3) -> rule1))]