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.
Anne is not round.
@0: Anne is round.[(triple1)] Bob is not blue.[(triple2)] Charlie is round.[(triple3)]