Charlie is not big. Charlie is white. Fiona is not green. All green, nice things are smart. All cold things are big. If Charlie is smart then Charlie is green.
Charlie is nice.
@0: Charlie is not big.[(triple1)] Charlie is white.[(triple2)] Fiona is not green.[(triple3)]