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