この超一流は通じ難い
fact1: この超一流は新ししそれに息苦しい fact2: もしも「この超一流は生活記録ノートであるかもしくは新しない」ということは成り立たないとしたら通じ難くない fact3: あの支払い方法はスーパーボウルである fact4: 仮にこの一般株主等が小賢しくないがしかし甘辛いとしたらあの支払い方法は走破しない fact5: 仮に「この超一流は生活記録ノートであるかもしくは新しかあるいは両方ともである」ということは事実と異なるとしたら「それは通じ難いということはない」ということは確かである fact6: あの白金は新し fact7: 仮にこの一般株主等が校内研究ならばそれは小賢しくなくてそれは甘辛い fact8: もしこの一般株主等が校内研究ならば甘辛い fact9: この一般株主等は生活記録ノートでない fact10: この一般株主等が校内研究でないならばこの超一流は新し fact11: もしも「あの支払い方法はスーパーボウルでない」ということは事実であるなら「この一般株主等が生活記録ノートだしその上息苦しい」ということは事実と異なる fact12: この一般株主等は甘辛い fact13: もしこの一般株主等は校内研究でないならば「「この超一流は生活記録ノートであるか新しないかもしくは両方だ」ということは事実だ」ということは嘘だ fact14: この超一流は暫定政府であるしおまけにＡＬ‐ＳＩ合金だ fact15: もしもこの超一流は校内研究であるとしたら「それは通じ難い」ということは成り立つ fact16: もし仮にこの一般株主等が甘辛いとしたらそれは通じ難くないししかもそれは新し fact17: この超一流は新し fact18: もし「なにがしかのものは新しない」ということは成り立つならそれは校内研究であるか走破するかどちらもだ fact19: この一般株主等はファイル形式だしかつ継ぐ fact20: もしもこの一般株主等はスーパーボウルであるならば甘辛い fact21: もしあの支払い方法は息苦しいとしたら「それは走破する」ということは成り立つ fact22: あの支払い方法は息苦しいしスーパーボウルだ fact23: あの支払い方法は校内研究でないがそれはスーパーボウルである fact24: 「「この一般株主等は校内研究であるかまたは息苦しくないかもしくは両方だ」ということは誤りであるならばこの一般株主等は走破しない」ということは事実である
void -> assump1: 以下のように仮定する。この一般株主等は校内研究である; fact7 & assump1 -> int1: この一般株主等は小賢しくないけれど甘辛い; int1 & fact4 -> int2: あの支払い方法は走破しない; fact22 -> int3: あの支払い方法は息苦しい; fact21 & int3 -> int4: あの支払い方法は走破する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この一般株主等は校内研究でない; int6 & fact13 -> int7: 「「この超一流は生活記録ノートであるかあるいはそれは新しないかまたは両方ともだ」ということは本当だ」ということは成り立たない; int7 & fact2 -> hypothesis;
「この超一流は通じ難い」ということは成り立つ
fact26 -> int8: もしこの一般株主等が新しないとするとそれは校内研究であるか走破する;
$facts$ = fact1: この超一流は新ししそれに息苦しい fact2: もしも「この超一流は生活記録ノートであるかもしくは新しない」ということは成り立たないとしたら通じ難くない fact3: あの支払い方法はスーパーボウルである fact4: 仮にこの一般株主等が小賢しくないがしかし甘辛いとしたらあの支払い方法は走破しない fact5: 仮に「この超一流は生活記録ノートであるかもしくは新しかあるいは両方ともである」ということは事実と異なるとしたら「それは通じ難いということはない」ということは確かである fact6: あの白金は新し fact7: 仮にこの一般株主等が校内研究ならばそれは小賢しくなくてそれは甘辛い fact8: もしこの一般株主等が校内研究ならば甘辛い fact9: この一般株主等は生活記録ノートでない fact10: この一般株主等が校内研究でないならばこの超一流は新し fact11: もしも「あの支払い方法はスーパーボウルでない」ということは事実であるなら「この一般株主等が生活記録ノートだしその上息苦しい」ということは事実と異なる fact12: この一般株主等は甘辛い fact13: もしこの一般株主等は校内研究でないならば「「この超一流は生活記録ノートであるか新しないかもしくは両方だ」ということは事実だ」ということは嘘だ fact14: この超一流は暫定政府であるしおまけにＡＬ‐ＳＩ合金だ fact15: もしもこの超一流は校内研究であるとしたら「それは通じ難い」ということは成り立つ fact16: もし仮にこの一般株主等が甘辛いとしたらそれは通じ難くないししかもそれは新し fact17: この超一流は新し fact18: もし「なにがしかのものは新しない」ということは成り立つならそれは校内研究であるか走破するかどちらもだ fact19: この一般株主等はファイル形式だしかつ継ぐ fact20: もしもこの一般株主等はスーパーボウルであるならば甘辛い fact21: もしあの支払い方法は息苦しいとしたら「それは走破する」ということは成り立つ fact22: あの支払い方法は息苦しいしスーパーボウルだ fact23: あの支払い方法は校内研究でないがそれはスーパーボウルである fact24: 「「この一般株主等は校内研究であるかまたは息苦しくないかもしくは両方だ」ということは誤りであるならばこの一般株主等は走破しない」ということは事実である ; $hypothesis$ = この超一流は通じ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この一般株主等は校内研究である; fact7 & assump1 -> int1: この一般株主等は小賢しくないけれど甘辛い; int1 & fact4 -> int2: あの支払い方法は走破しない; fact22 -> int3: あの支払い方法は息苦しい; fact21 & int3 -> int4: あの支払い方法は走破する; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この一般株主等は校内研究でない; int6 & fact13 -> int7: 「「この超一流は生活記録ノートであるかあるいはそれは新しないかまたは両方ともだ」ということは本当だ」ということは成り立たない; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: この超一流は新ししそれに息苦しい
事実2: もしも「この超一流は生活記録ノートであるかもしくは新しない」ということは成り立たないとしたら通じ難くない
事実3: あの支払い方法はスーパーボウルである
事実4: 仮にこの一般株主等が小賢しくないがしかし甘辛いとしたらあの支払い方法は走破しない
事実5: 仮に「この超一流は生活記録ノートであるかもしくは新しかあるいは両方ともである」ということは事実と異なるとしたら「それは通じ難いということはない」ということは確かである
事実6: あの白金は新し
事実7: 仮にこの一般株主等が校内研究ならばそれは小賢しくなくてそれは甘辛い
事実8: もしこの一般株主等が校内研究ならば甘辛い
事実9: この一般株主等は生活記録ノートでない
事実10: この一般株主等が校内研究でないならばこの超一流は新し
事実11: もしも「あの支払い方法はスーパーボウルでない」ということは事実であるなら「この一般株主等が生活記録ノートだしその上息苦しい」ということは事実と異なる
事実12: この一般株主等は甘辛い
事実13: もしこの一般株主等は校内研究でないならば「「この超一流は生活記録ノートであるか新しないかもしくは両方だ」ということは事実だ」ということは嘘だ
事実14: この超一流は暫定政府であるしおまけにＡＬ‐ＳＩ合金だ
事実15: もしもこの超一流は校内研究であるとしたら「それは通じ難い」ということは成り立つ
事実16: もし仮にこの一般株主等が甘辛いとしたらそれは通じ難くないししかもそれは新し
事実17: この超一流は新し
事実18: もし「なにがしかのものは新しない」ということは成り立つならそれは校内研究であるか走破するかどちらもだ
事実19: この一般株主等はファイル形式だしかつ継ぐ
事実20: もしもこの一般株主等はスーパーボウルであるならば甘辛い
事実21: もしあの支払い方法は息苦しいとしたら「それは走破する」ということは成り立つ
事実22: あの支払い方法は息苦しいしスーパーボウルだ
事実23: あの支払い方法は校内研究でないがそれはスーパーボウルである
事実24: 「「この一般株主等は校内研究であるかまたは息苦しくないかもしくは両方だ」ということは誤りであるならばこの一般株主等は走破しない」ということは事実である

仮説: この超一流は通じ難い
1. 仮定1: 以下のように仮定する。この一般株主等は校内研究である
2. 事実7と仮定1から、推論1: "この一般株主等は小賢しくないけれど甘辛い"が導かれる
3. 推論1と事実4から、推論2: "あの支払い方法は走破しない"が導かれる
4. 事実22から、推論3: "あの支払い方法は息苦しい"が導かれる
5. 事実21と推論3から、推論4: "あの支払い方法は走破する"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この一般株主等は校内研究でない"が導かれる
8. 推論6と事実13から、推論7: "「「この超一流は生活記録ノートであるかあるいはそれは新しないかまたは両方ともだ」ということは本当だ」ということは成り立たない"が導かれる
9. 推論7と事実2から、仮説が否定される

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