Charlie is red. Dave is young. Erin is nice. If Charlie is nice and Charlie is young then Charlie is quiet. White things are young. If Charlie is blue then Charlie is nice.
Charlie is not red.
@0: Charlie is red.[(triple1)] Dave is young.[(triple2)] Erin is nice.[(triple3)]