Dave is rough. Erin is not rough. Nice, rough things are green. Smart things are green. If something is green and red then it is big. All rough things are big. If something is red then it is not rough. If something is green then it is rough. Nice, big things are not red. All green things are nice.
Erin is not red.
@0: Dave is rough.[(triple1)] Erin is not rough.[(triple2)] @1: Dave is big.[(((triple1) -> rule4))]