Charlie is big. Charlie is rough. Dave is not rough. Rough, cold people are green. If someone is green and rough then they are blue. All green, red people are big.
Charlie is round.
@0: Charlie is big.[(triple1)] Charlie is rough.[(triple2)] Dave is not rough.[(triple3)]