Anne is quiet. Anne is white. Bob is blue. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is smart. All round, blue people are smart.
Anne is not smart.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Bob is blue.[(triple3)] Charlie is blue.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)]