Charlie is not blue. Charlie is red. Charlie is not round. If Charlie is quiet then Charlie is not red. If Charlie is red and Charlie is not young then Charlie is round.
Charlie is not young.
@0: Charlie is not blue.[(triple1)] Charlie is not round.[(triple3)] Charlie is red.[(triple2)]