Charlie is blue. Charlie is green. Charlie is red. Charlie is round. Fiona is big. Fiona is not green. Fiona is white. If Charlie is not white then Charlie is not round.
Fiona is green.
@0: Charlie is blue.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Fiona is big.[(triple5)] Fiona is not green.[(triple6)] Fiona is white.[(triple7)]