Anne is white. Bob is big. Bob is white. Dave is not blue. Dave is not white. Erin is green. Erin is young. If Dave is not green and Dave is not young then Dave is big. If Dave is big then Dave is blue.
Erin is not green.
@0: Anne is white.[(triple1)] Bob is big.[(triple2)] Bob is white.[(triple3)] Dave is not blue.[(triple4)] Dave is not white.[(triple5)] Erin is green.[(triple6)] Erin is young.[(triple7)]