Anne is big. Anne is not blue. Anne is not kind. Anne is red. Anne is not rough. Anne is round. Anne is not smart. Charlie is not big. Charlie is not blue. Charlie is not kind. Charlie is red. Charlie is not smart. If something is smart then it is red. Rough things are not red. Smart, red things are kind. If Charlie is blue and Charlie is not rough then Charlie is big. If Charlie is blue and Charlie is smart then Charlie is round. If something is rough and not kind then it is not blue.
Charlie is not kind.
@0: Anne is big.[(triple1)] Anne is not blue.[(triple2)] Anne is not kind.[(triple3)] Anne is not rough.[(triple5)] Anne is not smart.[(triple7)] Anne is red.[(triple4)] Anne is round.[(triple6)] Charlie is not big.[(triple8)] Charlie is not blue.[(triple9)] Charlie is not kind.[(triple10)] Charlie is not smart.[(triple12)] Charlie is red.[(triple11)]