「その大阪城が容器内であるとすればこの第三次評価報告書は御引き取り頂く」ということは成り立たない
fact1: その大阪城は等しくないとしたら「人倫的意識であるし更にそれは御引き取り頂かない」ということは間違いである fact2: 仮にその完治が笑えないならばあの大阪城は過剰適応でない fact3: もしもその完治が過剰適応でないとしたらその大阪城は絡む fact4: 仮にその大阪城が幼けないとしたらその完治は容器内だ fact5: もし仮に「その完治は幼けないということはない」ということは成り立つなら「その大阪城は過剰適応でない」ということは成り立つ fact6: もし何かは絡むならそのダウンライトは管理し易くない fact7: もしもとあるものは容器内でないとしたら絡むし過剰適応である fact8: その大阪城は等しくない fact9: 仮にその完治が絡まないとしたらそれは笑えないかもしくは幼けなくないかまたはどちらもである fact10: この端数は絡まない fact11: もしその大阪城は容器内だが過剰適応でないとすると「この第三次評価報告書は御引き取り頂く」ということは真実だ fact12: その完治は絡まない
fact9 & fact12 -> int1: その完治は笑えないかもしくは幼けなくないかもしくはどちらもだ; int1 & fact2 & fact5 -> int2: その大阪城は過剰適応でない; void -> assump1: 以下のように仮定する。その大阪城は容器内だ; int2 & assump1 -> int3: その大阪城は容器内であるけど過剰適応であるということはない; int3 & fact11 -> int4: この第三次評価報告書は御引き取り頂く; [assump1] & int4 -> hypothesis;
そのダウンライトは管理し易いということはないかあるいは狭しない
fact16 -> int5: もし仮にその完治が容器内でないとすれば絡むし更に過剰適応だ; fact13 & fact14 -> int6: 「その大阪城は人倫的意識である一方で御引き取り頂かない」ということは偽である; int6 -> int7: 「「人倫的意識だがしかし御引き取り頂かない」ということは成り立たない」物はある;
$facts$ = fact1: その大阪城は等しくないとしたら「人倫的意識であるし更にそれは御引き取り頂かない」ということは間違いである fact2: 仮にその完治が笑えないならばあの大阪城は過剰適応でない fact3: もしもその完治が過剰適応でないとしたらその大阪城は絡む fact4: 仮にその大阪城が幼けないとしたらその完治は容器内だ fact5: もし仮に「その完治は幼けないということはない」ということは成り立つなら「その大阪城は過剰適応でない」ということは成り立つ fact6: もし何かは絡むならそのダウンライトは管理し易くない fact7: もしもとあるものは容器内でないとしたら絡むし過剰適応である fact8: その大阪城は等しくない fact9: 仮にその完治が絡まないとしたらそれは笑えないかもしくは幼けなくないかまたはどちらもである fact10: この端数は絡まない fact11: もしその大阪城は容器内だが過剰適応でないとすると「この第三次評価報告書は御引き取り頂く」ということは真実だ fact12: その完治は絡まない ; $hypothesis$ = 「その大阪城が容器内であるとすればこの第三次評価報告書は御引き取り頂く」ということは成り立たない ; $proof$ = 
fact9 & fact12 -> int1: その完治は笑えないかもしくは幼けなくないかもしくはどちらもだ; int1 & fact2 & fact5 -> int2: その大阪城は過剰適応でない; void -> assump1: 以下のように仮定する。その大阪城は容器内だ; int2 & assump1 -> int3: その大阪城は容器内であるけど過剰適応であるということはない; int3 & fact11 -> int4: この第三次評価報告書は御引き取り頂く; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: その大阪城は等しくないとしたら「人倫的意識であるし更にそれは御引き取り頂かない」ということは間違いである
事実2: 仮にその完治が笑えないならばあの大阪城は過剰適応でない
事実3: もしもその完治が過剰適応でないとしたらその大阪城は絡む
事実4: 仮にその大阪城が幼けないとしたらその完治は容器内だ
事実5: もし仮に「その完治は幼けないということはない」ということは成り立つなら「その大阪城は過剰適応でない」ということは成り立つ
事実6: もし何かは絡むならそのダウンライトは管理し易くない
事実7: もしもとあるものは容器内でないとしたら絡むし過剰適応である
事実8: その大阪城は等しくない
事実9: 仮にその完治が絡まないとしたらそれは笑えないかもしくは幼けなくないかまたはどちらもである
事実10: この端数は絡まない
事実11: もしその大阪城は容器内だが過剰適応でないとすると「この第三次評価報告書は御引き取り頂く」ということは真実だ
事実12: その完治は絡まない

仮説: 「その大阪城が容器内であるとすればこの第三次評価報告書は御引き取り頂く」ということは成り立たない
1. 事実9と事実12から、推論1: "その完治は笑えないかもしくは幼けなくないかもしくはどちらもだ"が導かれる
2. 推論1と事実2と事実5から、推論2: "その大阪城は過剰適応でない"が導かれる
3. 仮定1: 以下のように仮定する。その大阪城は容器内だ
4. 推論2と仮定1から、推論3: "その大阪城は容器内であるけど過剰適応であるということはない"が導かれる
5. 推論3と事実11から、推論4: "この第三次評価報告書は御引き取り頂く"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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