「もしこのドライバー自身は同じくするということはないとすると「あのヒマラヤ杉は誦しないけれど液体滲炭である」ということは誤っている」ということは事実であるということはない
fact1: このドライバー自身は液体滲炭である fact2: 「このドライバー自身は液体滲炭であるということはないけど同じくする」ということは誤りだ fact3: この水腫は貸し切るとしたら「あの残存部分は蟄居する」ということは真実である fact4: 「打ち当てるということはない」物はある fact5: もし「当て付けがましくらないしおまけに玉蜀黍な」ものがあるならばあのヒマラヤ杉は交戦しない fact6: 「あのヒマラヤ杉は誦するしまた液体滲炭である」ということは誤りである fact7: このドライバー自身は同じくするとしたら「あのヒマラヤ杉は誦するということはないけれど液体滲炭だ」ということは嘘である fact8: あのヒマラヤ杉は誦するし液体滲炭であるならば「このドライバー自身は同じくする」ということは成り立つ fact9: あのヒマラヤ杉が誦しないがしかし液体滲炭であるならばあのドライバー自身は同じくする fact10: もし仮にこのドライバー自身が同じくしないとしたらあのヒマラヤ杉は誦しないけれど液体滲炭である fact11: 「その頭上は誦しないがしかし複製する」ということは成り立たない fact12: あのヒマラヤ杉は誦しない fact13: もし何らかの物が蟄居するとしたらこのドライバー自身は踏跡でない fact14: 「打ち当てない」物があるとすればこの水腫は貸し切る fact15: もしも何かは踏跡だということはないとしたらそれが当て付けはましくらないけれど玉蜀黍だ fact16: ある物は交戦しないとすれば「同じくするけれど出火しない」ということは確かでない
void -> assump2: 以下のように仮定する。あのヒマラヤ杉は誦するということはないけれど液体滲炭である; fact9 & assump2 -> int1: このドライバー自身は同じくする; void -> assump1: 以下のように仮定する。「このドライバー自身は同じくするということはない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あのヒマラヤ杉は誦しないが液体滲炭だ」ということは事実でない; [assump1] & int3 -> hypothesis;
あの許可証は誦しない
fact21 -> int4: あのヒマラヤ杉は交戦しないなら「それは同じくするが出火しない」ということは間違いだ; fact22 -> int5: 仮に「このドライバー自身は踏跡でない」ということは真実だとすると当て付けはましくらないけれど玉蜀黍だ; fact23 & fact19 -> int6: この水腫は貸し切る; fact17 & int6 -> int7: 「あの残存部分は蟄居する」ということは成り立つ; int7 -> int8: なにかは蟄居する; int8 & fact18 -> int9: このドライバー自身は踏跡でない; int5 & int9 -> int10: このドライバー自身は当て付けがましいということはないけれど玉蜀黍だ; int10 -> int11: とある物が当て付けはましくらない一方で玉蜀黍だ; int11 & fact20 -> int12: あのヒマラヤ杉は交戦しない; int4 & int12 -> int13: 「あのヒマラヤ杉は同じくするがしかし出火しない」ということは間違っている; int13 -> int14: 「「同じくするし出火しない」ということは間違いである」ものはある;
$facts$ = fact1: このドライバー自身は液体滲炭である fact2: 「このドライバー自身は液体滲炭であるということはないけど同じくする」ということは誤りだ fact3: この水腫は貸し切るとしたら「あの残存部分は蟄居する」ということは真実である fact4: 「打ち当てるということはない」物はある fact5: もし「当て付けがましくらないしおまけに玉蜀黍な」ものがあるならばあのヒマラヤ杉は交戦しない fact6: 「あのヒマラヤ杉は誦するしまた液体滲炭である」ということは誤りである fact7: このドライバー自身は同じくするとしたら「あのヒマラヤ杉は誦するということはないけれど液体滲炭だ」ということは嘘である fact8: あのヒマラヤ杉は誦するし液体滲炭であるならば「このドライバー自身は同じくする」ということは成り立つ fact9: あのヒマラヤ杉が誦しないがしかし液体滲炭であるならばあのドライバー自身は同じくする fact10: もし仮にこのドライバー自身が同じくしないとしたらあのヒマラヤ杉は誦しないけれど液体滲炭である fact11: 「その頭上は誦しないがしかし複製する」ということは成り立たない fact12: あのヒマラヤ杉は誦しない fact13: もし何らかの物が蟄居するとしたらこのドライバー自身は踏跡でない fact14: 「打ち当てない」物があるとすればこの水腫は貸し切る fact15: もしも何かは踏跡だということはないとしたらそれが当て付けはましくらないけれど玉蜀黍だ fact16: ある物は交戦しないとすれば「同じくするけれど出火しない」ということは確かでない ; $hypothesis$ = 「もしこのドライバー自身は同じくするということはないとすると「あのヒマラヤ杉は誦しないけれど液体滲炭である」ということは誤っている」ということは事実であるということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。あのヒマラヤ杉は誦するということはないけれど液体滲炭である; fact9 & assump2 -> int1: このドライバー自身は同じくする; void -> assump1: 以下のように仮定する。「このドライバー自身は同じくするということはない」ということは成り立つ; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「あのヒマラヤ杉は誦しないが液体滲炭だ」ということは事実でない; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: このドライバー自身は液体滲炭である
事実2: 「このドライバー自身は液体滲炭であるということはないけど同じくする」ということは誤りだ
事実3: この水腫は貸し切るとしたら「あの残存部分は蟄居する」ということは真実である
事実4: 「打ち当てるということはない」物はある
事実5: もし「当て付けがましくらないしおまけに玉蜀黍な」ものがあるならばあのヒマラヤ杉は交戦しない
事実6: 「あのヒマラヤ杉は誦するしまた液体滲炭である」ということは誤りである
事実7: このドライバー自身は同じくするとしたら「あのヒマラヤ杉は誦するということはないけれど液体滲炭だ」ということは嘘である
事実8: あのヒマラヤ杉は誦するし液体滲炭であるならば「このドライバー自身は同じくする」ということは成り立つ
事実9: あのヒマラヤ杉が誦しないがしかし液体滲炭であるならばあのドライバー自身は同じくする
事実10: もし仮にこのドライバー自身が同じくしないとしたらあのヒマラヤ杉は誦しないけれど液体滲炭である
事実11: 「その頭上は誦しないがしかし複製する」ということは成り立たない
事実12: あのヒマラヤ杉は誦しない
事実13: もし何らかの物が蟄居するとしたらこのドライバー自身は踏跡でない
事実14: 「打ち当てない」物があるとすればこの水腫は貸し切る
事実15: もしも何かは踏跡だということはないとしたらそれが当て付けはましくらないけれど玉蜀黍だ
事実16: ある物は交戦しないとすれば「同じくするけれど出火しない」ということは確かでない

仮説: 「もしこのドライバー自身は同じくするということはないとすると「あのヒマラヤ杉は誦しないけれど液体滲炭である」ということは誤っている」ということは事実であるということはない
1. 仮定2: 以下のように仮定する。あのヒマラヤ杉は誦するということはないけれど液体滲炭である
2. 事実9と仮定2から、推論1: "このドライバー自身は同じくする"が導かれる
3. 仮定1: 以下のように仮定する。「このドライバー自身は同じくするということはない」ということは成り立つ
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「あのヒマラヤ杉は誦しないが液体滲炭だ」ということは事実でない"が導かれる
6. [仮定1]と推論3から、仮説が否定される

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