Erin is big. Erin is smart. Erin is young. If someone is nice and big then they are green. If someone is young and smart then they are nice. If someone is smart and white then they are nice.
Erin is not smart.
@0: Erin is big.[(triple1)] Erin is smart.[(triple2)] Erin is young.[(triple3)] @1: Erin is nice.[(((triple3 triple2) -> rule2))] @2: Erin is green.[(((((triple3 triple2) -> rule2) triple1) -> rule1))]