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.
Dave is young.
@0: Charlie is red.[(triple1)] Dave is young.[(triple2)] Erin is nice.[(triple3)]