Anne is red. Anne is not rough. Anne is not young. Dave is not big. Dave is blue. Dave is young. Erin is not round. If someone is red and not round then they are cold. If Anne is young then Anne is not rough.
Dave is blue.
@0: Anne is not rough.[(triple2)] Anne is not young.[(triple3)] Anne is red.[(triple1)] Dave is blue.[(triple5)] Dave is not big.[(triple4)] Dave is young.[(triple6)] Erin is not round.[(triple7)]