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