Anne is round. Bob is not blue. Charlie is round. If something is big then it is young. Cold things are young. If something is big and green then it is young.
Charlie is green.
@0: Anne is round.[(triple1)] Bob is not blue.[(triple2)] Charlie is round.[(triple3)]