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