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