Anne is cold. Anne is furry. Anne is not green. Anne is kind. Anne is round. Anne is not white. Bob is not cold. Bob is quiet. Bob is round. Bob is white. Dave is not cold. Dave is kind. Dave is quiet. Erin is green. Erin is kind. If Anne is not cold and Anne is not quiet then Anne is round. If Dave is cold then Dave is not furry. If something is cold and not quiet then it is not furry.
Bob is round.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple4)] Anne is not green.[(triple3)] Anne is not white.[(triple6)] Anne is round.[(triple5)] Bob is not cold.[(triple7)] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Bob is white.[(triple10)] Dave is kind.[(triple12)] Dave is not cold.[(triple11)] Dave is quiet.[(triple13)] Erin is green.[(triple14)] Erin is kind.[(triple15)]