Anne is not blue. Anne is furry. Anne is round. Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is round. Dave is not white. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is round. Erin is white. If Anne is round and Anne is not blue then Anne is white.
Dave is round.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is round.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is not white.[(triple10)] Dave is rough.[(triple8)] Dave is round.[(triple9)] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is furry.[(triple13)] Erin is kind.[(triple14)] Erin is round.[(triple15)] Erin is white.[(triple16)] @1: Anne is white.[(((triple3 triple1) -> rule1))]