Anne is blue. Anne is not cold. Anne is furry. Anne is green. Anne is quiet. Anne is round. Anne is white. Bob is not cold. Bob is round. Dave is blue. Dave is green. Dave is white. Erin is not blue. Erin is round. Erin is white. If someone is round and not furry then they are blue.
Erin is white.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not cold.[(triple2)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Bob is not cold.[(triple8)] Bob is round.[(triple9)] Dave is blue.[(triple10)] Dave is green.[(triple11)] Dave is white.[(triple12)] Erin is not blue.[(triple13)] Erin is round.[(triple14)] Erin is white.[(triple15)]