Anne is blue. Anne is rough. Anne is white. Bob is cold. Bob is white. Dave is blue. Dave is rough. Dave is not white. Erin is cold. Erin is green. If someone is cold and green then they are white.
Dave is not blue.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is cold.[(triple4)] Bob is white.[(triple5)] Dave is blue.[(triple6)] Dave is not white.[(triple8)] Dave is rough.[(triple7)] Erin is cold.[(triple9)] Erin is green.[(triple10)] @1: Erin is white.[(((triple9 triple10) -> rule1))]