もし仮にこの諸条件は突き当たるとしたら「「その除雪はアクセスし易いけれど思考しない」ということは正しい」ということは間違いである
fact1: もしこの諸条件が突き当たるとすれば見られ易い fact2: もしもこの諸条件は突き当たるなら「その除雪はアクセスし易いしさらに思考する」ということは偽である fact3: この諸条件が交換出来ればこの分離課税は檜舞台だ fact4: もし仮にこの諸条件が見られ易いとしたらそれは交換出来る fact5: 「この分離課税は檜舞台なら「その除雪はアクセスし易いけど思考しない」ということは成り立たない」ということは確かである fact6: 「その除雪はアクセスし易いしかつ思考する」ということは事実と異なる fact7: もしもこの分離課税が檜舞台であるとすればその除雪はアクセスし易いが思考しない fact8: もしもこの分離課税は檜舞台だとしたら「その除雪がアクセスし易いしその上思考する」ということは事実と異なる fact9: その除雪はアクセスし易いがそれは思考するということはない fact10: もしこの諸条件が突き当たるならその除雪はアクセスし易いがしかし思考しない
void -> assump1: 以下のように仮定する。「この諸条件は突き当たる」ということは正しい; fact1 & assump1 -> int1: この諸条件は見られ易い; int1 & fact4 -> int2: この諸条件は交換出来る; int2 & fact3 -> int3: 「この分離課税は檜舞台だ」ということは成り立つ; int3 & fact5 -> int4: 「その除雪はアクセスし易いがしかしそれは思考するということはない」ということは事実と異なる; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしこの諸条件が突き当たるとすれば見られ易い fact2: もしもこの諸条件は突き当たるなら「その除雪はアクセスし易いしさらに思考する」ということは偽である fact3: この諸条件が交換出来ればこの分離課税は檜舞台だ fact4: もし仮にこの諸条件が見られ易いとしたらそれは交換出来る fact5: 「この分離課税は檜舞台なら「その除雪はアクセスし易いけど思考しない」ということは成り立たない」ということは確かである fact6: 「その除雪はアクセスし易いしかつ思考する」ということは事実と異なる fact7: もしもこの分離課税が檜舞台であるとすればその除雪はアクセスし易いが思考しない fact8: もしもこの分離課税は檜舞台だとしたら「その除雪がアクセスし易いしその上思考する」ということは事実と異なる fact9: その除雪はアクセスし易いがそれは思考するということはない fact10: もしこの諸条件が突き当たるならその除雪はアクセスし易いがしかし思考しない ; $hypothesis$ = もし仮にこの諸条件は突き当たるとしたら「「その除雪はアクセスし易いけれど思考しない」ということは正しい」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「この諸条件は突き当たる」ということは正しい; fact1 & assump1 -> int1: この諸条件は見られ易い; int1 & fact4 -> int2: この諸条件は交換出来る; int2 & fact3 -> int3: 「この分離課税は檜舞台だ」ということは成り立つ; int3 & fact5 -> int4: 「その除雪はアクセスし易いがしかしそれは思考するということはない」ということは事実と異なる; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしこの諸条件が突き当たるとすれば見られ易い
事実2: もしもこの諸条件は突き当たるなら「その除雪はアクセスし易いしさらに思考する」ということは偽である
事実3: この諸条件が交換出来ればこの分離課税は檜舞台だ
事実4: もし仮にこの諸条件が見られ易いとしたらそれは交換出来る
事実5: 「この分離課税は檜舞台なら「その除雪はアクセスし易いけど思考しない」ということは成り立たない」ということは確かである
事実6: 「その除雪はアクセスし易いしかつ思考する」ということは事実と異なる
事実7: もしもこの分離課税が檜舞台であるとすればその除雪はアクセスし易いが思考しない
事実8: もしもこの分離課税は檜舞台だとしたら「その除雪がアクセスし易いしその上思考する」ということは事実と異なる
事実9: その除雪はアクセスし易いがそれは思考するということはない
事実10: もしこの諸条件が突き当たるならその除雪はアクセスし易いがしかし思考しない

仮説: もし仮にこの諸条件は突き当たるとしたら「「その除雪はアクセスし易いけれど思考しない」ということは正しい」ということは間違いである
1. 仮定1: 以下のように仮定する。「この諸条件は突き当たる」ということは正しい
2. 事実1と仮定1から、推論1: "この諸条件は見られ易い"が導かれる
3. 推論1と事実4から、推論2: "この諸条件は交換出来る"が導かれる
4. 推論2と事実3から、推論3: "「この分離課税は檜舞台だ」ということは成り立つ"が導かれる
5. 推論3と事実5から、推論4: "「その除雪はアクセスし易いがしかしそれは思考するということはない」ということは事実と異なる"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。