Anne is cold. Anne is furry. Anne is not nice. Anne is round. Anne is smart. Anne is white. Dave is furry. Dave is kind. Dave is nice. Dave is smart. Dave is not white. Gary is cold. Gary is nice. Gary is round. Gary is smart. If Gary is cold and Gary is not kind then Gary is not furry.
Dave is cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not nice.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Dave is furry.[(triple7)] Dave is kind.[(triple8)] Dave is nice.[(triple9)] Dave is not white.[(triple11)] Dave is smart.[(triple10)] Gary is cold.[(triple12)] Gary is nice.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)]