Anne is cold. Anne is kind. Charlie is nice. Dave is white. Dave is young. Fiona is blue. Fiona is white. If Dave is green and Dave is white then Dave is blue. If something is green then it is nice. If something is blue and cold then it is green. If something is white and young then it is kind. If something is cold then it is blue. All nice, kind things are green. All kind, cold things are white. If something is kind and young then it is cold.
Charlie is not nice.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Charlie is nice.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Fiona is blue.[(triple6)] Fiona is white.[(triple7)] @1: Anne is blue.[(((triple1) -> rule5))] Anne is white.[(((triple2 triple1) -> rule7))] Dave is kind.[(((triple4 triple5) -> rule4))] @2: Anne is green.[(((((triple1) -> rule5) triple1) -> rule3))] Dave is cold.[(((((triple4 triple5) -> rule4) triple5) -> rule8))] @3: Anne is nice.[(((((((triple1) -> rule5) triple1) -> rule3)) -> rule2))] Dave is blue.[(((((((triple4 triple5) -> rule4) triple5) -> rule8)) -> rule5))] @4: Dave is green.[(((((((((triple4 triple5) -> rule4) triple5) -> rule8)) -> rule5) ((((triple4 triple5) -> rule4) triple5) -> rule8)) -> rule3))] @5: Dave is nice.[(((((((((((triple4 triple5) -> rule4) triple5) -> rule8)) -> rule5) ((((triple4 triple5) -> rule4) triple5) -> rule8)) -> rule3)) -> rule2))]