「もし仮に「このプロジェクトファイルは夥しくないがしかし洗い落とす」ということは確かだということはないならばあの大坂方は潔い」ということは事実と異なる
fact1: 「このプロジェクトファイルは夥しくて洗い落とす」ということは成り立たないとしたらこの大坂方は潔い fact2: その国師が浅まししその上それは第四艦隊である fact3: あの株式買い取り請求権が汚くないならこの大坂方は潔い fact4: もし仮にこのプロジェクトファイルが洗い落とさないとしたらあの作詞は埃っぽい fact5: もしあの作詞は埃っぽいとすると「あの株式買い取り請求権は子供らしい」ということは確かである fact6: 「このプロジェクトファイルは夥しくないけれど洗い落とす」ということは誤りであるとすればあの作詞は埃っぽい fact7: もし仮にあの株式買い取り請求権が子供らしいしまた汚いならばあの国師は第四艦隊でない
void -> assump1: 以下のように仮定する。「このプロジェクトファイルは夥しくないけど洗い落とす」ということは誤りである; fact6 & assump1 -> int1: あの作詞は埃っぽい; int1 & fact5 -> int2: あの株式買い取り請求権は子供らしい; void -> assump2: 以下のように仮定する。あの株式買い取り請求権は汚い; int2 & assump2 -> int3: あの株式買い取り請求権は子供らしいしまた汚い; int3 & fact7 -> int4: その国師は第四艦隊でない; fact2 -> int5: その国師は第四艦隊だ; int4 & int5 -> int6: これは矛盾である; [assump2] & int6 -> int7: あの株式買い取り請求権は汚くない; int7 & fact3 -> int8: 「この大坂方は潔い」ということは真実である; [assump1] & int8 -> hypothesis;
$facts$ = fact1: 「このプロジェクトファイルは夥しくて洗い落とす」ということは成り立たないとしたらこの大坂方は潔い fact2: その国師が浅まししその上それは第四艦隊である fact3: あの株式買い取り請求権が汚くないならこの大坂方は潔い fact4: もし仮にこのプロジェクトファイルが洗い落とさないとしたらあの作詞は埃っぽい fact5: もしあの作詞は埃っぽいとすると「あの株式買い取り請求権は子供らしい」ということは確かである fact6: 「このプロジェクトファイルは夥しくないけれど洗い落とす」ということは誤りであるとすればあの作詞は埃っぽい fact7: もし仮にあの株式買い取り請求権が子供らしいしまた汚いならばあの国師は第四艦隊でない ; $hypothesis$ = 「もし仮に「このプロジェクトファイルは夥しくないがしかし洗い落とす」ということは確かだということはないならばあの大坂方は潔い」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「このプロジェクトファイルは夥しくないけど洗い落とす」ということは誤りである; fact6 & assump1 -> int1: あの作詞は埃っぽい; int1 & fact5 -> int2: あの株式買い取り請求権は子供らしい; void -> assump2: 以下のように仮定する。あの株式買い取り請求権は汚い; int2 & assump2 -> int3: あの株式買い取り請求権は子供らしいしまた汚い; int3 & fact7 -> int4: その国師は第四艦隊でない; fact2 -> int5: その国師は第四艦隊だ; int4 & int5 -> int6: これは矛盾である; [assump2] & int6 -> int7: あの株式買い取り請求権は汚くない; int7 & fact3 -> int8: 「この大坂方は潔い」ということは真実である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: 「このプロジェクトファイルは夥しくて洗い落とす」ということは成り立たないとしたらこの大坂方は潔い
事実2: その国師が浅まししその上それは第四艦隊である
事実3: あの株式買い取り請求権が汚くないならこの大坂方は潔い
事実4: もし仮にこのプロジェクトファイルが洗い落とさないとしたらあの作詞は埃っぽい
事実5: もしあの作詞は埃っぽいとすると「あの株式買い取り請求権は子供らしい」ということは確かである
事実6: 「このプロジェクトファイルは夥しくないけれど洗い落とす」ということは誤りであるとすればあの作詞は埃っぽい
事実7: もし仮にあの株式買い取り請求権が子供らしいしまた汚いならばあの国師は第四艦隊でない

仮説: 「もし仮に「このプロジェクトファイルは夥しくないがしかし洗い落とす」ということは確かだということはないならばあの大坂方は潔い」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「このプロジェクトファイルは夥しくないけど洗い落とす」ということは誤りである
2. 事実6と仮定1から、推論1: "あの作詞は埃っぽい"が導かれる
3. 推論1と事実5から、推論2: "あの株式買い取り請求権は子供らしい"が導かれる
4. 仮定2: 以下のように仮定する。あの株式買い取り請求権は汚い
5. 推論2と仮定2から、推論3: "あの株式買い取り請求権は子供らしいしまた汚い"が導かれる
6. 推論3と事実7から、推論4: "その国師は第四艦隊でない"が導かれる
7. 事実2から、推論5: "その国師は第四艦隊だ"が導かれる
8. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
9. [仮定2]と推論6から、推論7: "あの株式買い取り請求権は汚くない"が導かれる
10. 推論7と事実3から、推論8: "「この大坂方は潔い」ということは真実である"が導かれる
11. [仮定1]と推論8から、仮説が否定される

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