「この荒くれ者は名人であるということはない」ということは確かだ
fact1: 仮に「「名人でおまけにうら若い」ということは成り立たない」ものがあるならばあの今まで通りは名人だということはない fact2: もしもこの荒くれ者は御濃いが御言うないとしたらグラフィックである fact3: もしも「「開発出来るか爆睡しないかもしくは両方ともである」ということは成り立たない」物があるとすればこの今まで通りはスクリプト機能だ fact4: 打ち難い物は対側乳房である一方でＩＣカードでない fact5: もし仮になんらかのものが対側乳房であるけどＩＣカードでないとするとそれはスクリプト機能だ fact6: もし何らかの物が名人でないとすればこの沖縄学童は打ち難い fact7: 仮にこの今まで通りがＩＣカードでないならばこの知的階層は打ち難くない fact8: もしも「「塩辛くない」ということは確かな」ものがあるならばあの荒くれ者は御濃い一方でそれは御言うということはない fact9: もしあるものはスクリプト機能でＩＣカードならば対側乳房でない fact10: もし「とある物は名人である一方でスクリプト機能でない」ということは成り立たないとするとそれは名人でない fact11: この今まで通りは対側乳房だ fact12: その記載要領は塩辛いということはない fact13: 仮にこの知的階層が打ち難くないとしたらこの荒くれ者は名人である fact14: 「重過ぎるということはない」ものはある fact15: もしこの荒くれ者がスクリプト機能でないならこの今まで通りは名人でない fact16: この荒くれ者がグラフィックだとしたらこの知的階層は利害対立でない fact17: 「「「開発出来るか爆睡しない」ということは成り立つ」ということは誤りな」物はある fact18: もしあるものは利害対立だということはないとしたら「それは名人であるしうら若い」ということは成り立たない
fact17 & fact3 -> int1: この今まで通りはスクリプト機能である; void -> assump1: 以下のように仮定する。この今まで通りはＩＣカードだ; int1 & assump1 -> int2: この今まで通りはスクリプト機能だしＩＣカードだ; fact9 -> int3: もしもこの今まで通りはスクリプト機能だしさらにＩＣカードだとしたら「対側乳房でない」ということは本当だ; int2 & int3 -> int4: この今まで通りは対側乳房でない; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: この今まで通りはＩＣカードだということはない; int6 & fact7 -> int7: この知的階層は打ち難くない; int7 & fact13 -> hypothesis;
「この沖縄学童はスクリプト機能だ」ということは成り立つ
fact24 -> int8: もしこの沖縄学童は対側乳房である一方でＩＣカードでないならスクリプト機能である; fact21 -> int9: この沖縄学童が打ち難いとすれば対側乳房であるけどＩＣカードでない; fact26 -> int10: 仮にこの知的階層は利害対立でないとしたら「それは名人であるしうら若い」ということは間違っている; fact25 -> int11: とあるものは塩辛くない; int11 & fact20 -> int12: この荒くれ者は御濃いがしかし御言うない; fact27 & int12 -> int13: 「この荒くれ者はグラフィックでない」ということは偽である; fact23 & int13 -> int14: この知的階層は利害対立であるということはない; int10 & int14 -> int15: 「「この知的階層は名人だし加えてうら若い」ということは事実と異なる」ということは偽でない; int15 -> int16: 「「名人であるししかもうら若い」ということは誤りな」物はある; int16 & fact22 -> int17: この今まで通りは名人でない; int17 -> int18: 「名人でない」ものはある; int18 & fact19 -> int19: この沖縄学童は打ち難い; int9 & int19 -> int20: この沖縄学童は対側乳房であるがＩＣカードでない; int8 & int20 -> hypothesis;
$facts$ = fact1: 仮に「「名人でおまけにうら若い」ということは成り立たない」ものがあるならばあの今まで通りは名人だということはない fact2: もしもこの荒くれ者は御濃いが御言うないとしたらグラフィックである fact3: もしも「「開発出来るか爆睡しないかもしくは両方ともである」ということは成り立たない」物があるとすればこの今まで通りはスクリプト機能だ fact4: 打ち難い物は対側乳房である一方でＩＣカードでない fact5: もし仮になんらかのものが対側乳房であるけどＩＣカードでないとするとそれはスクリプト機能だ fact6: もし何らかの物が名人でないとすればこの沖縄学童は打ち難い fact7: 仮にこの今まで通りがＩＣカードでないならばこの知的階層は打ち難くない fact8: もしも「「塩辛くない」ということは確かな」ものがあるならばあの荒くれ者は御濃い一方でそれは御言うということはない fact9: もしあるものはスクリプト機能でＩＣカードならば対側乳房でない fact10: もし「とある物は名人である一方でスクリプト機能でない」ということは成り立たないとするとそれは名人でない fact11: この今まで通りは対側乳房だ fact12: その記載要領は塩辛いということはない fact13: 仮にこの知的階層が打ち難くないとしたらこの荒くれ者は名人である fact14: 「重過ぎるということはない」ものはある fact15: もしこの荒くれ者がスクリプト機能でないならこの今まで通りは名人でない fact16: この荒くれ者がグラフィックだとしたらこの知的階層は利害対立でない fact17: 「「「開発出来るか爆睡しない」ということは成り立つ」ということは誤りな」物はある fact18: もしあるものは利害対立だということはないとしたら「それは名人であるしうら若い」ということは成り立たない ; $hypothesis$ = 「この荒くれ者は名人であるということはない」ということは確かだ ; $proof$ = 
fact17 & fact3 -> int1: この今まで通りはスクリプト機能である; void -> assump1: 以下のように仮定する。この今まで通りはＩＣカードだ; int1 & assump1 -> int2: この今まで通りはスクリプト機能だしＩＣカードだ; fact9 -> int3: もしもこの今まで通りはスクリプト機能だしさらにＩＣカードだとしたら「対側乳房でない」ということは本当だ; int2 & int3 -> int4: この今まで通りは対側乳房でない; int4 & fact11 -> int5: これは矛盾である; [assump1] & int5 -> int6: この今まで通りはＩＣカードだということはない; int6 & fact7 -> int7: この知的階層は打ち難くない; int7 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮に「「名人でおまけにうら若い」ということは成り立たない」ものがあるならばあの今まで通りは名人だということはない
事実2: もしもこの荒くれ者は御濃いが御言うないとしたらグラフィックである
事実3: もしも「「開発出来るか爆睡しないかもしくは両方ともである」ということは成り立たない」物があるとすればこの今まで通りはスクリプト機能だ
事実4: 打ち難い物は対側乳房である一方でＩＣカードでない
事実5: もし仮になんらかのものが対側乳房であるけどＩＣカードでないとするとそれはスクリプト機能だ
事実6: もし何らかの物が名人でないとすればこの沖縄学童は打ち難い
事実7: 仮にこの今まで通りがＩＣカードでないならばこの知的階層は打ち難くない
事実8: もしも「「塩辛くない」ということは確かな」ものがあるならばあの荒くれ者は御濃い一方でそれは御言うということはない
事実9: もしあるものはスクリプト機能でＩＣカードならば対側乳房でない
事実10: もし「とある物は名人である一方でスクリプト機能でない」ということは成り立たないとするとそれは名人でない
事実11: この今まで通りは対側乳房だ
事実12: その記載要領は塩辛いということはない
事実13: 仮にこの知的階層が打ち難くないとしたらこの荒くれ者は名人である
事実14: 「重過ぎるということはない」ものはある
事実15: もしこの荒くれ者がスクリプト機能でないならこの今まで通りは名人でない
事実16: この荒くれ者がグラフィックだとしたらこの知的階層は利害対立でない
事実17: 「「「開発出来るか爆睡しない」ということは成り立つ」ということは誤りな」物はある
事実18: もしあるものは利害対立だということはないとしたら「それは名人であるしうら若い」ということは成り立たない

仮説: 「この荒くれ者は名人であるということはない」ということは確かだ
1. 事実17と事実3から、推論1: "この今まで通りはスクリプト機能である"が導かれる
2. 仮定1: 以下のように仮定する。この今まで通りはＩＣカードだ
3. 推論1と仮定1から、推論2: "この今まで通りはスクリプト機能だしＩＣカードだ"が導かれる
4. 事実9から、推論3: "もしもこの今まで通りはスクリプト機能だしさらにＩＣカードだとしたら「対側乳房でない」ということは本当だ"が導かれる
5. 推論2と推論3から、推論4: "この今まで通りは対側乳房でない"が導かれる
6. 推論4と事実11から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この今まで通りはＩＣカードだということはない"が導かれる
8. 推論6と事実7から、推論7: "この知的階層は打ち難くない"が導かれる
9. 推論7と事実13から、仮説が否定される

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