Erin is nice. If something is green then it is rough. All nice things are rough. All green, quiet things are rough. If something is blue then it is green. Smart, cold things are not green. Blue things are smart.
Erin is not nice.
@0: Erin is nice.[(triple1)] @1: Erin is rough.[(((triple1) -> rule2))]