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 round.
@0: Dave is round.[(triple1)] Erin is not kind.[(triple2)] Fiona is red.[(triple3)] Harry is not kind.[(triple4)]