Charlie is white. Fiona is not cold. If Charlie is white then Charlie is cold. All white, round things are red. Cold things are not round. Round, red things are white. All quiet, red things are rough. Round things are furry. If something is cold and not round then it is not furry. If something is furry and not red then it is not quiet.
Fiona is red.
@0: Charlie is white.[(triple1)] Fiona is not cold.[(triple2)] @1: Charlie is cold.[(((triple1) -> rule1))] @2: Charlie is not round.[(((((triple1) -> rule1)) -> rule3))] @3: Charlie is not furry.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule7))]