Charlie is not quiet. Dave is rough. Erin is not quiet. If Charlie is big and Charlie is not smart then Charlie is blue. Quiet, cold things are big. All rough, cold things are not big. Rough things are quiet. All smart, big things are green. If something is blue and not cold then it is not rough. All quiet things are blue. If Erin is not cold then Erin is blue.
Erin is not green.
@0: Charlie is not quiet.[(triple1)] Dave is rough.[(triple2)] Erin is not quiet.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule4))] @2: Dave is blue.[(((((triple2) -> rule4)) -> rule7))]