Anne is red. Fiona is not cold. Harry is cold. Blue people are nice. If someone is cold and not furry then they are nice. Cold people are nice. Nice, blue people are not green. All nice people are green. Cold people are kind. If someone is blue then they are red. All nice, green people are red.
Anne is not green.
@0: Anne is red.[(triple1)] Fiona is not cold.[(triple2)] Harry is cold.[(triple3)] @1: Harry is kind.[(((triple3) -> rule6))] Harry is nice.[(((triple3) -> rule3))] @2: Harry is green.[(((((triple3) -> rule3)) -> rule5))] @3: Harry is red.[(((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule5)) -> rule8))]