Dave is smart. Erin is smart. Gary is round. Harry is not nice. Young, nice things are round. If Dave is white then Dave is not smart. All round, nice things are young.
Dave is nice.
@0: Dave is smart.[(triple1)] Erin is smart.[(triple2)] Gary is round.[(triple3)] Harry is not nice.[(triple4)]