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.
Bob is round.
@0: Bob is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is young.[(triple3)]