Charlie is big. Charlie is kind. Charlie is quiet. Charlie is not red. Charlie is round. Charlie is white. Charlie is young. Fiona is big. Fiona is kind. Fiona is quiet. Fiona is not red. Fiona is not round. Fiona is white. Fiona is not young. If Charlie is red then Charlie is not big. If someone is red then they are kind. If Fiona is round then Fiona is quiet. All red people are not big. If Charlie is not big and Charlie is not quiet then Charlie is not white. If Charlie is red and Charlie is not white then Charlie is not kind.
Fiona is not big.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is not red.[(triple4)] Charlie is quiet.[(triple3)] Charlie is round.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is not red.[(triple11)] Fiona is not round.[(triple12)] Fiona is not young.[(triple14)] Fiona is quiet.[(triple10)] Fiona is white.[(triple13)]