Anne is blue. Anne is cold. Anne is not rough. Anne is young. Charlie is blue. Charlie is quiet. Dave is not kind. Dave is quiet. Dave is round. Dave is young. Gary is blue. Gary is quiet. Kind things are quiet. If Charlie is rough and Charlie is young then Charlie is round.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is not rough.[(triple3)] Anne is young.[(triple4)] Charlie is blue.[(triple5)] Charlie is quiet.[(triple6)] Dave is not kind.[(triple7)] Dave is quiet.[(triple8)] Dave is round.[(triple9)] Dave is young.[(triple10)] Gary is blue.[(triple11)] Gary is quiet.[(triple12)]