Anne is nice. Anne is not rough. Dave is furry. Dave is nice. Dave is not rough. Erin is cold. Harry is round. White things are nice. If Dave is nice and Dave is not furry then Dave is young. If Erin is white then Erin is rough.
Harry is not nice.
@0: Anne is nice.[(triple1)] Anne is not rough.[(triple2)] Dave is furry.[(triple3)] Dave is nice.[(triple4)] Dave is not rough.[(triple5)] Erin is cold.[(triple6)] Harry is round.[(triple7)]