Charlie is green. Charlie is kind. Fiona is smart. Fiona is white. Harry is not red. Harry is smart. Harry is not white. All kind, white things are green.
Fiona is not white.
@0: Charlie is green.[(triple1)] Charlie is kind.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Harry is not red.[(triple5)] Harry is not white.[(triple7)] Harry is smart.[(triple6)]