----------------------------------------
|context> => |context: fuzzy logic>

supported-ops |action> => |op: >
 |action> #=> "" |very cold action> + "" |cold action> + "" |normal action> + "" |hot action>

supported-ops |very cold action> => |op: >
 |very cold action> #=> wif(is-very-cold current |temperature>,|stop fan>,|>)

supported-ops |cold action> => |op: >
 |cold action> #=> wif(is-cold current |temperature>,|turn down fan>,|>)

supported-ops |normal action> => |op: >
 |normal action> #=> wif(is-normal current |temperature>,|maintain level>,|>)

supported-ops |hot action> => |op: >
 |hot action> #=> wif(is-hot current |temperature>,|speed up fan>,|>)

supported-ops |C: 13> => |op: is-cold>
is-cold |C: 13> => |True>

supported-ops |temperature> => |op: current>
current |temperature> => |C: 17>

supported-ops |C: 17> => |op: is-cold>
is-cold |C: 17> => 0.6|true>

supported-ops |C: *> => |op: is-very-cold> + |op: is-normal> + |op: is-hot>
is-hot |C: *> => |false>
is-very-cold |C: *> => |false>
is-normal |C: *> => |false>

supported-ops |context: fuzzy logic> => |op: source>
source |context: fuzzy logic> => |url: http://en.wikipedia.org/wiki/Fuzzy_logic>
----------------------------------------