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