Anne is cold. Anne is not white. Dave is smart. Dave is young. Fiona is cold. Fiona is smart. Fiona is not young. All young people are not blue. All young people are kind. All blue people are not kind.
Anne is not kind.
@0: Anne is cold.[(triple1)] Anne is not white.[(triple2)] Dave is smart.[(triple3)] Dave is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is not young.[(triple7)] Fiona is smart.[(triple6)] @1: Dave is kind.[(((triple4) -> rule2))] Dave is not blue.[(((triple4) -> rule1))]