Dave is round. Erin is not kind. Fiona is red. Harry is not kind. If Dave is kind and Dave is round then Dave is not rough.
Dave is not blue.
@0: Dave is round.[(triple1)] Erin is not kind.[(triple2)] Fiona is red.[(triple3)] Harry is not kind.[(triple4)]