Anne is kind. Erin is furry. Fiona is white. Gary is furry. Kind things are not white. All kind, nice things are not white. All white things are red. If something is red then it is nice. Nice things are not furry. If Erin is cold then Erin is not red.
Fiona is not red.
@0: Anne is kind.[(triple1)] Erin is furry.[(triple2)] Fiona is white.[(triple3)] Gary is furry.[(triple4)] @1: Anne is not white.[(((triple1) -> rule1))] Fiona is red.[(((triple3) -> rule3))] @2: Fiona is nice.[(((((triple3) -> rule3)) -> rule4))] @3: Fiona is not furry.[(((((((triple3) -> rule3)) -> rule4)) -> rule5))]