Charlie is red. Dave is white. Erin is quiet. All round people are white. All quiet, rough people are round. If Charlie is quiet then Charlie is red.
Dave is white.
@0: Charlie is red.[(triple1)] Dave is white.[(triple2)] Erin is quiet.[(triple3)]