Anne is not big. Anne is blue. Anne is green. Charlie is big. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is not red. Dave is not green. Fiona is big. Fiona is blue. Fiona is quiet. If Anne is green and Anne is not white then Anne is not quiet. All quiet, white people are not blue.
Fiona is green.
@0: Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not big.[(triple1)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is green.[(triple6)] Charlie is not red.[(triple8)] Charlie is quiet.[(triple7)] Dave is not green.[(triple9)] Fiona is big.[(triple10)] Fiona is blue.[(triple11)] Fiona is quiet.[(triple12)]