Charlie is big. Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Charlie is white. Charlie is young. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is smart. Fiona is white. Fiona is not young. If Charlie is nice and Charlie is not big then Charlie is smart.
Fiona is not kind.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is not young.[(triple14)] Fiona is red.[(triple11)] Fiona is smart.[(triple12)] Fiona is white.[(triple13)]