Charlie is not white. Erin is cold. Fiona is kind. If something is green then it is not cold. All kind things are green. If Erin is not green then Erin is cold.
Erin is green.
@0: Charlie is not white.[(triple1)] Erin is cold.[(triple2)] Fiona is kind.[(triple3)] @1: Fiona is green.[(((triple3) -> rule2))] @2: Fiona is not cold.[(((((triple3) -> rule2)) -> rule1))]