Anne is quiet. Charlie is quiet. Dave is quiet. If Dave is nice and Dave is rough then Dave is cold. Round people are cold. All rough, nice people are white. Round, kind people are rough. If Dave is quiet and Dave is round then Dave is kind. All kind, cold people are white. Nice, rough people are white. If Anne is white and Anne is rough then Anne is cold.
Dave is not kind.
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Dave is quiet.[(triple3)]