Anne is cold. Anne is white. Dave is blue. Dave is kind. Dave is red. Dave is young. Fiona is blue. If something is green and not young then it is blue. If something is green then it is not blue. Green, cold things are not white. If something is red then it is white. If Anne is green and Anne is kind then Anne is not red. All red things are kind.
Fiona is not white.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4 OR ((triple5) -> rule6))] Dave is red.[(triple5)] Dave is young.[(triple6)] Fiona is blue.[(triple7)] @1: Dave is white.[(((triple5) -> rule4))]