Anne is green. Erin is cold. Fiona is not green. Harry is kind. If someone is round then they are cold. If Erin is green then Erin is young. If Fiona is not kind then Fiona is furry. If someone is kind then they are round. Green people are not furry. Cold people are furry. If someone is furry and not cold then they are not blue. If someone is young and not cold then they are not blue.
Harry is not kind.
@0: Anne is green.[(triple1)] Erin is cold.[(triple2)] Fiona is not green.[(triple3)] Harry is kind.[(triple4)] @1: Anne is not furry.[(((triple1) -> rule5))] Erin is furry.[(((triple2) -> rule6))] Harry is round.[(((triple4) -> rule4))] @2: Harry is cold.[(((((triple4) -> rule4)) -> rule1))] @3: Harry is furry.[(((((((triple4) -> rule4)) -> rule1)) -> rule6))]