Charlie is rough. Dave is green. Erin is nice. Fiona is not kind. All kind people are not round. If Charlie is green and Charlie is round then Charlie is not kind. Kind, rough people are smart.
Erin is rough.
@0: Charlie is rough.[(triple1)] Dave is green.[(triple2)] Erin is nice.[(triple3)] Fiona is not kind.[(triple4)]