Anne is quiet. Anne is red. Anne is rough. Anne is smart. Charlie is not big. Charlie is kind. Charlie is quiet. Charlie is red. Dave is blue. Dave is not quiet. Dave is smart. Fiona is big. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is not smart. If something is red and not blue then it is rough.
Charlie is not red.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Charlie is kind.[(triple6)] Charlie is not big.[(triple5)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Dave is blue.[(triple9)] Dave is not quiet.[(triple10)] Dave is smart.[(triple11)] Fiona is big.[(triple12)] Fiona is blue.[(triple13)] Fiona is not smart.[(triple16)] Fiona is quiet.[(triple14)] Fiona is red.[(triple15)]