Erin is green. Round things are young. Green things are big. If something is red and smart then it is big. If something is big then it is rough. Young, smart things are not round. If something is green then it is not smart.
Erin is round.
@0: Erin is green.[(triple1)] @1: Erin is big.[(((triple1) -> rule2))] Erin is not smart.[(((triple1) -> rule6))] @2: Erin is rough.[(((((triple1) -> rule2)) -> rule4))]