Anne is cold. Bob is cold. Erin is kind. Fiona is rough. White, rough things are cold. If something is rough then it is white. All cold things are kind.
Fiona is not cold.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Erin is kind.[(triple3)] Fiona is rough.[(triple4)] @1: Anne is kind.[(((triple1) -> rule3))] Bob is kind.[(((triple2) -> rule3))] Fiona is white.[(((triple4) -> rule2))] @2: Fiona is cold.[(((((triple4) -> rule2) triple4) -> rule1))] @3: Fiona is kind.[(((((((triple4) -> rule2) triple4) -> rule1)) -> rule3))]