Anne is kind. Dave is not green. Fiona is blue. Harry is not white. All furry, cold people are kind. All green people are kind. If someone is round and not blue then they are white. If someone is kind and cold then they are white. If someone is kind then they are white. Blue people are not furry. All round people are cold. All kind, white people are round.
Anne is not cold.
@0: Anne is kind.[(triple1)] Dave is not green.[(triple2)] Fiona is blue.[(triple3)] Harry is not white.[(triple4)] @1: Anne is white.[(((triple1) -> rule5))] Fiona is not furry.[(((triple3) -> rule6))] @2: Anne is round.[(((triple1 ((triple1) -> rule5)) -> rule8))] @3: Anne is cold.[(((((triple1 ((triple1) -> rule5)) -> rule8)) -> rule7))]