Bob is green. Bob is rough. Charlie is blue. Dave is blue. Erin is blue. Erin is green. Erin is white. If Charlie is green then Charlie is blue. If something is quiet and cold then it is rough. All cold things are quiet. All quiet things are green. Quiet, rough things are green. All smart things are green.
Erin is not quiet.
@0: Bob is green.[(triple1)] Bob is rough.[(triple2)] Charlie is blue.[(triple3)] Dave is blue.[(triple4)] Erin is blue.[(triple5)] Erin is green.[(triple6)] Erin is white.[(triple7)]