「あのバーミキュライトはオプティミストでないかまたは全身マッサージでないかまたはどちらもである」ということは真実でない
fact1: もし仮になにがしかのものは実験段階であるということはないとしたら流され易いししかも地下駐車場である fact2: あのバーミキュライトはオプティミストであるか全身マッサージでないかまたは両方ともだ fact3: もしあの診断上が流され易くないとしたらそれは戯けない fact4: もしなにがしかの物が四日以上ならばそれは実験段階でない fact5: 「「あの診断上は新一目均衡表でないがしかし戯ける」ということは本当だ」ということは誤りである fact6: なんらかのものが不退去罪ならば四日以上である fact7: 「あの診断上は新一目均衡表でないし戯けない」ということは正しくない fact8: 仮になんらかのものは流され易いとすれば「オプティミストでないかそれは全身マッサージでない」ということは成り立たない fact9: もし仮にあの診断上が実験段階で更にそれが地下駐車場であるとしたらあのバーミキュライトはオプティミストでない fact10: もしも「「あの診断上は流され易い」ということは成り立つ」ということは本当であるということはないなら新一目均衡表でないし加えて戯けない fact11: 仮に「「答え難くて州禁煙法である」ということは事実と異なる」ものがあるとするとあの診断上は過不足無くない fact12: あのバーミキュライトはオプティミストであるならそれは大正元である fact13: あのバーミキュライトはオプティミストでないかあるいは全身マッサージであるかもしくは両方である fact14: あの診断上は実験段階だ fact15: その砲台はクローズ・アップしない fact16: もし仮に何かは流され易いとしたら「地下駐車場だ」ということは正しい fact17: あの診断上が過不足無くないとするとあのバーミキュライトは不退去罪であるかあるいは催すかあるいはどちらもである fact18: もしも「その砲台はクローズ・アップしない」ということは成り立つとすると「答え難くておまけに州禁煙法である」ということは間違っている fact19: あの診断上は戯けない fact20: もし「あの診断上は地下駐車場でないしそれに流され易いということはない」ということは誤りならばその関連会社株式は全身マッサージである
void -> assump1: 以下のように仮定する。あの診断上は流され易いということはない; fact10 & assump1 -> int1: あの診断上は新一目均衡表でないしそれは戯けない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの診断上は流され易い; fact16 -> int4: 仮にあの診断上は流され易いとしたら「地下駐車場だ」ということは本当だ; int3 & int4 -> int5: あの診断上は地下駐車場である; int5 & fact14 -> int6: あの診断上は実験段階でその上地下駐車場だ; int6 & fact9 -> int7: あのバーミキュライトはオプティミストでない; int7 -> hypothesis;
「あのバーミキュライトはオプティミストでないかあるいは全身マッサージでないかまたはどちらもである」ということは成り立たない
fact21 -> int8: あのバーミキュライトは流され易いとすると「それはオプティミストでないかあるいは全身マッサージでないかあるいは両方だ」ということは間違っている; fact27 -> int9: あのバーミキュライトは実験段階でないならばそれは流され易いしかつ地下駐車場である; fact28 -> int10: 仮にあのバーミキュライトが四日以上だとすればそれは実験段階でない; fact25 & fact22 -> int11: 「その砲台は答え難いしおまけに州禁煙法だ」ということは間違いだ; int11 -> int12: 「「答え難くてまた州禁煙法だ」ということは事実と異なる」物はある; int12 & fact23 -> int13: あの診断上は過不足無くない; fact24 & int13 -> int14: 「あのバーミキュライトは不退去罪であるかまたは催す」ということは誤っていない; fact26 -> int15: 仮に「あのバーミキュライトは不退去罪である」ということは本当であるとすれば四日以上である;
$facts$ = fact1: もし仮になにがしかのものは実験段階であるということはないとしたら流され易いししかも地下駐車場である fact2: あのバーミキュライトはオプティミストであるか全身マッサージでないかまたは両方ともだ fact3: もしあの診断上が流され易くないとしたらそれは戯けない fact4: もしなにがしかの物が四日以上ならばそれは実験段階でない fact5: 「「あの診断上は新一目均衡表でないがしかし戯ける」ということは本当だ」ということは誤りである fact6: なんらかのものが不退去罪ならば四日以上である fact7: 「あの診断上は新一目均衡表でないし戯けない」ということは正しくない fact8: 仮になんらかのものは流され易いとすれば「オプティミストでないかそれは全身マッサージでない」ということは成り立たない fact9: もし仮にあの診断上が実験段階で更にそれが地下駐車場であるとしたらあのバーミキュライトはオプティミストでない fact10: もしも「「あの診断上は流され易い」ということは成り立つ」ということは本当であるということはないなら新一目均衡表でないし加えて戯けない fact11: 仮に「「答え難くて州禁煙法である」ということは事実と異なる」ものがあるとするとあの診断上は過不足無くない fact12: あのバーミキュライトはオプティミストであるならそれは大正元である fact13: あのバーミキュライトはオプティミストでないかあるいは全身マッサージであるかもしくは両方である fact14: あの診断上は実験段階だ fact15: その砲台はクローズ・アップしない fact16: もし仮に何かは流され易いとしたら「地下駐車場だ」ということは正しい fact17: あの診断上が過不足無くないとするとあのバーミキュライトは不退去罪であるかあるいは催すかあるいはどちらもである fact18: もしも「その砲台はクローズ・アップしない」ということは成り立つとすると「答え難くておまけに州禁煙法である」ということは間違っている fact19: あの診断上は戯けない fact20: もし「あの診断上は地下駐車場でないしそれに流され易いということはない」ということは誤りならばその関連会社株式は全身マッサージである ; $hypothesis$ = 「あのバーミキュライトはオプティミストでないかまたは全身マッサージでないかまたはどちらもである」ということは真実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの診断上は流され易いということはない; fact10 & assump1 -> int1: あの診断上は新一目均衡表でないしそれは戯けない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: あの診断上は流され易い; fact16 -> int4: 仮にあの診断上は流され易いとしたら「地下駐車場だ」ということは本当だ; int3 & int4 -> int5: あの診断上は地下駐車場である; int5 & fact14 -> int6: あの診断上は実験段階でその上地下駐車場だ; int6 & fact9 -> int7: あのバーミキュライトはオプティミストでない; int7 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかのものは実験段階であるということはないとしたら流され易いししかも地下駐車場である
事実2: あのバーミキュライトはオプティミストであるか全身マッサージでないかまたは両方ともだ
事実3: もしあの診断上が流され易くないとしたらそれは戯けない
事実4: もしなにがしかの物が四日以上ならばそれは実験段階でない
事実5: 「「あの診断上は新一目均衡表でないがしかし戯ける」ということは本当だ」ということは誤りである
事実6: なんらかのものが不退去罪ならば四日以上である
事実7: 「あの診断上は新一目均衡表でないし戯けない」ということは正しくない
事実8: 仮になんらかのものは流され易いとすれば「オプティミストでないかそれは全身マッサージでない」ということは成り立たない
事実9: もし仮にあの診断上が実験段階で更にそれが地下駐車場であるとしたらあのバーミキュライトはオプティミストでない
事実10: もしも「「あの診断上は流され易い」ということは成り立つ」ということは本当であるということはないなら新一目均衡表でないし加えて戯けない
事実11: 仮に「「答え難くて州禁煙法である」ということは事実と異なる」ものがあるとするとあの診断上は過不足無くない
事実12: あのバーミキュライトはオプティミストであるならそれは大正元である
事実13: あのバーミキュライトはオプティミストでないかあるいは全身マッサージであるかもしくは両方である
事実14: あの診断上は実験段階だ
事実15: その砲台はクローズ・アップしない
事実16: もし仮に何かは流され易いとしたら「地下駐車場だ」ということは正しい
事実17: あの診断上が過不足無くないとするとあのバーミキュライトは不退去罪であるかあるいは催すかあるいはどちらもである
事実18: もしも「その砲台はクローズ・アップしない」ということは成り立つとすると「答え難くておまけに州禁煙法である」ということは間違っている
事実19: あの診断上は戯けない
事実20: もし「あの診断上は地下駐車場でないしそれに流され易いということはない」ということは誤りならばその関連会社株式は全身マッサージである

仮説: 「あのバーミキュライトはオプティミストでないかまたは全身マッサージでないかまたはどちらもである」ということは真実でない
1. 仮定1: 以下のように仮定する。あの診断上は流され易いということはない
2. 事実10と仮定1から、推論1: "あの診断上は新一目均衡表でないしそれは戯けない"が導かれる
3. 推論1と事実7から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あの診断上は流され易い"が導かれる
5. 事実16から、推論4: "仮にあの診断上は流され易いとしたら「地下駐車場だ」ということは本当だ"が導かれる
6. 推論3と推論4から、推論5: "あの診断上は地下駐車場である"が導かれる
7. 推論5と事実14から、推論6: "あの診断上は実験段階でその上地下駐車場だ"が導かれる
8. 推論6と事実9から、推論7: "あのバーミキュライトはオプティミストでない"が導かれる
9. 推論7から、仮説が否定される

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