Anne is green. Anne is round. Bob is green. Bob is quiet. Dave is cold. Dave is red. Dave is rough. Dave is white. Gary is green. Gary is white. If something is red then it is white.
Dave is not white.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Dave is cold.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8 OR ((triple6) -> rule1))] Gary is green.[(triple9)] Gary is white.[(triple10)]