Erin is not quiet. Erin is smart. Erin is young. All cold people are young. If Erin is cold and Erin is green then Erin is red. If Erin is red then Erin is quiet. Green, young people are not big. If someone is green and not young then they are not big. If Erin is quiet and Erin is smart then Erin is not green. If someone is big and not smart then they are green. If someone is smart then they are green.
Erin is not green.
@0: Erin is not quiet.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Erin is green.[(((triple2) -> rule8))] @2: Erin is not big.[(((((triple2) -> rule8) triple3) -> rule4))]