あの蔕は事業基盤だ
fact1: もしもあの蔕が折り曲げればそれは仄白いということはない fact2: もしもあの蔕は風前であるとしたら事業基盤でない fact3: 仮に「「あの蔕はアトキンス・ダイエットでないかもしくは風前であるかまたは両方ともである」ということは成り立たない」ということは確かであるとすれば仄白い fact4: あの蔕はアトキンス・ダイエットだということはないかまたは風前であるかもしくは両方ともであるとすればそれは事業基盤でない fact5: 「あの蔕は折り曲げないがしかし錆び付く」ということは誤りだ fact6: もし「あの蔕は折り曲げないけどそれは錆び付く」ということは成り立たないとすると仄白くない fact7: もしも「なにかは仄白くないかもしくはそれは直射するかどちらもである」ということは成り立たないとすると生き返る fact8: 「あの蔕は折り曲げるし更に錆び付く」ということは偽だ fact9: この施設部は折り曲げないかそれは走査するかあるいは両方である fact10: あの蔕は風前でない
void -> assump1: 以下のように仮定する。「あの蔕はアトキンス・ダイエットでないかあるいは風前であるかまたは両方ともである」ということは確かでない; fact3 & assump1 -> int1: あの蔕は仄白い; fact5 & fact6 -> int2: あの蔕は仄白くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの蔕はアトキンス・ダイエットでないかあるいはそれは風前であるかあるいは両方である; int4 & fact4 -> hypothesis;
もし仮に「「このロッカーは仄白くないか直射するかあるいはどちらもだ」ということは成り立つ」ということは成り立つということはないとすると生き返る
fact11 -> hypothesis;
$facts$ = fact1: もしもあの蔕が折り曲げればそれは仄白いということはない fact2: もしもあの蔕は風前であるとしたら事業基盤でない fact3: 仮に「「あの蔕はアトキンス・ダイエットでないかもしくは風前であるかまたは両方ともである」ということは成り立たない」ということは確かであるとすれば仄白い fact4: あの蔕はアトキンス・ダイエットだということはないかまたは風前であるかもしくは両方ともであるとすればそれは事業基盤でない fact5: 「あの蔕は折り曲げないがしかし錆び付く」ということは誤りだ fact6: もし「あの蔕は折り曲げないけどそれは錆び付く」ということは成り立たないとすると仄白くない fact7: もしも「なにかは仄白くないかもしくはそれは直射するかどちらもである」ということは成り立たないとすると生き返る fact8: 「あの蔕は折り曲げるし更に錆び付く」ということは偽だ fact9: この施設部は折り曲げないかそれは走査するかあるいは両方である fact10: あの蔕は風前でない ; $hypothesis$ = あの蔕は事業基盤だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの蔕はアトキンス・ダイエットでないかあるいは風前であるかまたは両方ともである」ということは確かでない; fact3 & assump1 -> int1: あの蔕は仄白い; fact5 & fact6 -> int2: あの蔕は仄白くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの蔕はアトキンス・ダイエットでないかあるいはそれは風前であるかあるいは両方である; int4 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもあの蔕が折り曲げればそれは仄白いということはない
事実2: もしもあの蔕は風前であるとしたら事業基盤でない
事実3: 仮に「「あの蔕はアトキンス・ダイエットでないかもしくは風前であるかまたは両方ともである」ということは成り立たない」ということは確かであるとすれば仄白い
事実4: あの蔕はアトキンス・ダイエットだということはないかまたは風前であるかもしくは両方ともであるとすればそれは事業基盤でない
事実5: 「あの蔕は折り曲げないがしかし錆び付く」ということは誤りだ
事実6: もし「あの蔕は折り曲げないけどそれは錆び付く」ということは成り立たないとすると仄白くない
事実7: もしも「なにかは仄白くないかもしくはそれは直射するかどちらもである」ということは成り立たないとすると生き返る
事実8: 「あの蔕は折り曲げるし更に錆び付く」ということは偽だ
事実9: この施設部は折り曲げないかそれは走査するかあるいは両方である
事実10: あの蔕は風前でない

仮説: あの蔕は事業基盤だ
1. 仮定1: 以下のように仮定する。「あの蔕はアトキンス・ダイエットでないかあるいは風前であるかまたは両方ともである」ということは確かでない
2. 事実3と仮定1から、推論1: "あの蔕は仄白い"が導かれる
3. 事実5と事実6から、推論2: "あの蔕は仄白くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの蔕はアトキンス・ダイエットでないかあるいはそれは風前であるかあるいは両方である"が導かれる
6. 推論4と事実4から、仮説が否定される

よって、仮説が否定されました。