Anne is blue. Anne is quiet. Anne is not white. Dave is furry. Dave is not quiet. Dave is white. Erin is quiet. Erin is not red. Erin is round. Gary is blue. If someone is blue and not cold then they are furry. If Dave is blue and Dave is cold then Dave is white. If someone is red and not cold then they are quiet.
Gary is blue.
@0: Anne is blue.[(triple1)] Anne is not white.[(triple3)] Anne is quiet.[(triple2)] Dave is furry.[(triple4)] Dave is not quiet.[(triple5)] Dave is white.[(triple6)] Erin is not red.[(triple8)] Erin is quiet.[(triple7)] Erin is round.[(triple9)] Gary is blue.[(triple10)]