Erin is rough. If someone is green and big then they are blue. If someone is rough then they are green. Green, kind people are red.
Erin is red.
@0: Erin is rough.[(triple1)] @1: Erin is green.[(((triple1) -> rule2))]