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.
Charlie is not blue.
@0: Bob is quiet.[(triple1)] Charlie is not blue.[(triple2)] Dave is smart.[(triple3)] Gary is blue.[(triple4)]