Bob is round. Charlie is not quiet. Dave is not quiet. Erin is white. If Charlie is quiet then Charlie is not red. If someone is white and not kind then they are quiet.
Dave is white.
@0: Bob is round.[(triple1)] Charlie is not quiet.[(triple2)] Dave is not quiet.[(triple3)] Erin is white.[(triple4)]