Bob is rough. Charlie is furry. Erin is rough. If Charlie is green then Charlie is cold. If something is cold and green then it is not rough. If something is nice and not red then it is rough.
Bob is not rough.
@0: Bob is rough.[(triple1)] Charlie is furry.[(triple2)] Erin is rough.[(triple3)]