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.
Dave is smart.
@0: Dave is nice.[(triple1)] Gary is rough.[(triple2)] Harry is smart.[(triple3)]