「「あの第一単元は申し付けるか香しい」ということは本当である」ということは間違いだ
fact1: もし仮にある物が在庫しないとしたら攻略法である fact2: もし仮に「あの探究者は肩章であるということはない」ということは正しいならアブストラクトだし幼い fact3: あの探究者がアブストラクトだし更にそれが在庫するとすればあの第一単元は在庫しない fact4: 香しいものは廃しないし更に作り難くない fact5: 仮に「その国境は投資案でない」ということは確かならば「あの探究者は攻略法でないし加えてアブストラクトであるということはない」ということは確かだ fact6: もし「このディファレンシャルディスプレー法は出会い易い」ということは偽でないならばあの探究者は肩章でない fact7: もし「あの一匹狼はアブストラクトでない」ということは本当だとすればあの第一単元は捕らわれ易くないしおまけにそれは平行平面板コンデンサーでない fact8: あの一匹狼は名水でない fact9: もしなにがしかのものが平行平面板コンデンサーでないとすればそれは在庫する fact10: その一瞥は大底でない fact11: もしなにがしかの物は香しかないならば「表出対象であるかまたは捕らわれ易くない」ということは成り立たない fact12: もしもその国境が香しいとすればあの探究者は香しい fact13: あの一匹狼は平行平面板コンデンサーであるし幼い fact14: あの第一単元は申し付けるかあるいはそれは在庫する fact15: 仮に「あの一匹狼は大底でない」ということは成り立つとしたらその国境は投資案でない fact16: 「この選考委員会は出会い易い」ということは本当であるとしたらこのディファレンシャルディスプレー法は出会い易い fact17: もしなんらかのものが投資案でないとすれば在庫するし攻略法である fact18: もし仮にあの一匹狼は平行平面板コンデンサーであるしまた幼いならそれは大底でない fact19: もしあの一匹狼は名水だということはないとしたら「その国境は大底でないか平行平面板コンデンサーであるかもしくはどちらもである」ということは事実でない fact20: 「あの第一単元は表出対象であるか捕らわれ易くない」ということは事実と異なるとするとあの探究者は在庫しない fact21: 仮になにがしかのものは在庫しないとすると「それは申し付けるかあるいは香しい」ということは誤っている
fact11 -> int1: もしあの第一単元は香しかないなら「それは表出対象であるかまたはそれは捕らわれ易くない」ということは偽である; void -> assump1: 以下のように仮定する。あの第一単元は香しかない; int1 & assump1 -> int2: 「あの第一単元は表出対象であるかまたはそれは捕らわれ易くない」ということは成り立たない; int2 & fact20 -> int3: 「あの探究者は在庫しない」ということは事実だ; fact1 -> int4: もしもあの探究者が在庫しないとすれば攻略法である; int3 & int4 -> int5: あの探究者は攻略法だ; fact13 & fact18 -> int6: あの一匹狼は大底であるということはない; fact15 & int6 -> int7: 「その国境は投資案でない」ということは確かである; fact5 & int7 -> int8: あの探究者は攻略法でなくてそれはアブストラクトでない; int8 -> int9: 「あの探究者は攻略法でない」ということは成り立つ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「あの第一単元は香しい」ということは真実だ; int11 -> hypothesis;
「あの第一単元は申し付けるかそれは香しいかまたは両方である」ということは間違いだ
fact24 -> int12: もしあの第一単元は在庫しないとすると「それは申し付けるかあるいは香しいかまたは両方である」ということは事実と異なる; fact26 -> int13: もしもあの探究者は投資案でないならば「在庫するし加えて攻略法である」ということは成り立つ; fact23 & fact25 -> int14: 「その国境は大底でないかまたは平行平面板コンデンサーだ」ということは誤りである; int14 -> int15: 「「大底でないかもしくは平行平面板コンデンサーである」ということは嘘な」物はある;
$facts$ = fact1: もし仮にある物が在庫しないとしたら攻略法である fact2: もし仮に「あの探究者は肩章であるということはない」ということは正しいならアブストラクトだし幼い fact3: あの探究者がアブストラクトだし更にそれが在庫するとすればあの第一単元は在庫しない fact4: 香しいものは廃しないし更に作り難くない fact5: 仮に「その国境は投資案でない」ということは確かならば「あの探究者は攻略法でないし加えてアブストラクトであるということはない」ということは確かだ fact6: もし「このディファレンシャルディスプレー法は出会い易い」ということは偽でないならばあの探究者は肩章でない fact7: もし「あの一匹狼はアブストラクトでない」ということは本当だとすればあの第一単元は捕らわれ易くないしおまけにそれは平行平面板コンデンサーでない fact8: あの一匹狼は名水でない fact9: もしなにがしかのものが平行平面板コンデンサーでないとすればそれは在庫する fact10: その一瞥は大底でない fact11: もしなにがしかの物は香しかないならば「表出対象であるかまたは捕らわれ易くない」ということは成り立たない fact12: もしもその国境が香しいとすればあの探究者は香しい fact13: あの一匹狼は平行平面板コンデンサーであるし幼い fact14: あの第一単元は申し付けるかあるいはそれは在庫する fact15: 仮に「あの一匹狼は大底でない」ということは成り立つとしたらその国境は投資案でない fact16: 「この選考委員会は出会い易い」ということは本当であるとしたらこのディファレンシャルディスプレー法は出会い易い fact17: もしなんらかのものが投資案でないとすれば在庫するし攻略法である fact18: もし仮にあの一匹狼は平行平面板コンデンサーであるしまた幼いならそれは大底でない fact19: もしあの一匹狼は名水だということはないとしたら「その国境は大底でないか平行平面板コンデンサーであるかもしくはどちらもである」ということは事実でない fact20: 「あの第一単元は表出対象であるか捕らわれ易くない」ということは事実と異なるとするとあの探究者は在庫しない fact21: 仮になにがしかのものは在庫しないとすると「それは申し付けるかあるいは香しい」ということは誤っている ; $hypothesis$ = 「「あの第一単元は申し付けるか香しい」ということは本当である」ということは間違いだ ; $proof$ = 
fact11 -> int1: もしあの第一単元は香しかないなら「それは表出対象であるかまたはそれは捕らわれ易くない」ということは偽である; void -> assump1: 以下のように仮定する。あの第一単元は香しかない; int1 & assump1 -> int2: 「あの第一単元は表出対象であるかまたはそれは捕らわれ易くない」ということは成り立たない; int2 & fact20 -> int3: 「あの探究者は在庫しない」ということは事実だ; fact1 -> int4: もしもあの探究者が在庫しないとすれば攻略法である; int3 & int4 -> int5: あの探究者は攻略法だ; fact13 & fact18 -> int6: あの一匹狼は大底であるということはない; fact15 & int6 -> int7: 「その国境は投資案でない」ということは確かである; fact5 & int7 -> int8: あの探究者は攻略法でなくてそれはアブストラクトでない; int8 -> int9: 「あの探究者は攻略法でない」ということは成り立つ; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「あの第一単元は香しい」ということは真実だ; int11 -> hypothesis; __DISPROVED__
事実1: もし仮にある物が在庫しないとしたら攻略法である
事実2: もし仮に「あの探究者は肩章であるということはない」ということは正しいならアブストラクトだし幼い
事実3: あの探究者がアブストラクトだし更にそれが在庫するとすればあの第一単元は在庫しない
事実4: 香しいものは廃しないし更に作り難くない
事実5: 仮に「その国境は投資案でない」ということは確かならば「あの探究者は攻略法でないし加えてアブストラクトであるということはない」ということは確かだ
事実6: もし「このディファレンシャルディスプレー法は出会い易い」ということは偽でないならばあの探究者は肩章でない
事実7: もし「あの一匹狼はアブストラクトでない」ということは本当だとすればあの第一単元は捕らわれ易くないしおまけにそれは平行平面板コンデンサーでない
事実8: あの一匹狼は名水でない
事実9: もしなにがしかのものが平行平面板コンデンサーでないとすればそれは在庫する
事実10: その一瞥は大底でない
事実11: もしなにがしかの物は香しかないならば「表出対象であるかまたは捕らわれ易くない」ということは成り立たない
事実12: もしもその国境が香しいとすればあの探究者は香しい
事実13: あの一匹狼は平行平面板コンデンサーであるし幼い
事実14: あの第一単元は申し付けるかあるいはそれは在庫する
事実15: 仮に「あの一匹狼は大底でない」ということは成り立つとしたらその国境は投資案でない
事実16: 「この選考委員会は出会い易い」ということは本当であるとしたらこのディファレンシャルディスプレー法は出会い易い
事実17: もしなんらかのものが投資案でないとすれば在庫するし攻略法である
事実18: もし仮にあの一匹狼は平行平面板コンデンサーであるしまた幼いならそれは大底でない
事実19: もしあの一匹狼は名水だということはないとしたら「その国境は大底でないか平行平面板コンデンサーであるかもしくはどちらもである」ということは事実でない
事実20: 「あの第一単元は表出対象であるか捕らわれ易くない」ということは事実と異なるとするとあの探究者は在庫しない
事実21: 仮になにがしかのものは在庫しないとすると「それは申し付けるかあるいは香しい」ということは誤っている

仮説: 「「あの第一単元は申し付けるか香しい」ということは本当である」ということは間違いだ
1. 事実11から、推論1: "もしあの第一単元は香しかないなら「それは表出対象であるかまたはそれは捕らわれ易くない」ということは偽である"が導かれる
2. 仮定1: 以下のように仮定する。あの第一単元は香しかない
3. 推論1と仮定1から、推論2: "「あの第一単元は表出対象であるかまたはそれは捕らわれ易くない」ということは成り立たない"が導かれる
4. 推論2と事実20から、推論3: "「あの探究者は在庫しない」ということは事実だ"が導かれる
5. 事実1から、推論4: "もしもあの探究者が在庫しないとすれば攻略法である"が導かれる
6. 推論3と推論4から、推論5: "あの探究者は攻略法だ"が導かれる
7. 事実13と事実18から、推論6: "あの一匹狼は大底であるということはない"が導かれる
8. 事実15と推論6から、推論7: "「その国境は投資案でない」ということは確かである"が導かれる
9. 事実5と推論7から、推論8: "あの探究者は攻略法でなくてそれはアブストラクトでない"が導かれる
10. 推論8から、推論9: "「あの探究者は攻略法でない」ということは成り立つ"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「あの第一単元は香しい」ということは真実だ"が導かれる
13. 推論11から、仮説が否定される

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