Dave is nice. Gary is rough. Harry is smart. If Dave is smart then Dave is kind. If someone is nice and furry then they are kind.
Harry is not kind.
@0: Dave is nice.[(triple1)] Gary is rough.[(triple2)] Harry is smart.[(triple3)]