Anne is red. Dave is green. Dave is red. Dave is rough. Dave is white. Gary is cold. Gary is young. Young things are white.
Dave is not red.
@0: Anne is red.[(triple1)] Dave is green.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is white.[(triple5)] Gary is cold.[(triple6)] Gary is young.[(triple7)] @1: Gary is white.[(((triple7) -> rule1))]