Bob is green. Charlie is nice. Charlie is young. If Charlie is red then Charlie is young. If Charlie is round and Charlie is green then Charlie is young.
Charlie is not white.
@0: Bob is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3)]