Anne is not cold. Anne is kind. Anne is not nice. Charlie is cold. Charlie is kind. Dave is big. Dave is cold. If Anne is not young then Anne is not rough. If someone is young then they are big. If Charlie is kind and Charlie is smart then Charlie is not nice. If Dave is cold and Dave is not big then Dave is not kind. All kind, young people are not rough. If Charlie is not nice then Charlie is cold. All rough people are cold. If someone is kind and big then they are not cold.
Dave is young.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is not nice.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)]