Anne is nice. Dave is not nice. Dave is not white. If someone is blue then they are green. If someone is nice and not young then they are kind. Kind, blue people are white. All young, kind people are not white. All red, kind people are not blue. If Anne is nice then Anne is not white. Red people are not nice. If Dave is nice and Dave is blue then Dave is green.
Anne is not kind.
@0: Anne is nice.[(triple1)] Dave is not nice.[(triple2)] Dave is not white.[(triple3)] @1: Anne is not white.[(((triple1) -> rule6))]