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