Charlie is not kind. Dave is not nice. Fiona is nice. If Dave is green then Dave is nice. If Fiona is blue and Fiona is not kind then Fiona is not rough. Green people are smart.
Dave is not nice.
@0: Charlie is not kind.[(triple1)] Dave is not nice.[(triple2)] Fiona is nice.[(triple3)]