Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Charlie is kind. Charlie is not smart. Dave is rough. Erin is not kind. Erin is nice. Erin is quiet. If Charlie is not furry then Charlie is kind.
Dave is quiet.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Charlie is kind.[(triple5)] Charlie is not smart.[(triple6)] Dave is rough.[(triple7)] Erin is nice.[(triple9)] Erin is not kind.[(triple8)] Erin is quiet.[(triple10)]