Bob is quiet. Charlie is not blue. Dave is smart. Gary is blue. All green people are smart. If Dave is not smart then Dave is red.
Dave is kind.
@0: Bob is quiet.[(triple1)] Charlie is not blue.[(triple2)] Dave is smart.[(triple3)] Gary is blue.[(triple4)]