あの非才はセラミックスであるということはない
fact1: もしそのダウ式が噛み付くけれど憎たらしくないならばあの指定相続分は広い fact2: そのダウ式は憎たらしくない fact3: 「「同調査団であるし更に禅譲である」ということは確かでない」ものはある fact4: もし仮に広い物は出血し易くないならそれは終わり掛ける fact5: すべてのものは噛み付くが憎たらしいということはない fact6: そのダウ式が噛み付くしおまけに憎たらしいならばあの指定相続分は広い fact7: 仮に「この利尿剤は広いしおまけに出血し易い」ということは成り立たないとすればその開花時期は広くない fact8: 仮に忙しない物はセラミックスでないならそれは噛み付く fact9: もし仮にこの指定相続分は出血し易いなら「あの非才はセラミックスだ」ということは確かだ fact10: もし仮に「「同調査団であるが禅譲でない」ということは成り立たない」ものがあるとするとこの指定相続分は忙しなくない fact11: 「「忙しなくて更に噛み付くということはない」ということは間違いである」ものはある fact12: もし「あの非才はセラミックスだし更に五倍弱である」ということは事実と異なるならセラミックスでない fact13: あの非才は出血し易くない fact14: 「この指定相続分は終わり掛けるしまた五倍弱である」ということは成り立たないとすると終わり掛けない fact15: あの非才は震え始めるがしかしそれは真新しくない fact16: 「この指定相続分は忙しないということはない」ということは嘘でないとすれば「終わり掛けるししかもそれは五倍弱だ」ということは間違っている fact17: 「あの非才は広い」ということは本当である fact18: もしも「あるものは禅譲だ」ということは成り立つとしたら「この指定相続分は忙しなくない」ということは事実だ fact19: 「「同調査団で禅譲だということはない」ということは誤りである」物はある fact20: 仮にそのダウ式が忙しない一方で五倍弱だということはないならそれは憎たらしい fact21: 何もかもは憎たらしくない fact22: もしもあの非才はセラミックスであるが出血し易くないならばそれは広い fact23: 「同調査団でまた禅譲でない」ものはある fact24: 仮になんらかのものが噛み付くけどそれが終わり掛けないとすればそれは五倍弱だ
fact5 -> int1: そのダウ式は噛み付くがそれは憎たらしくない; int1 & fact1 -> int2: この指定相続分は広い; void -> assump1: 以下のように仮定する。この指定相続分は出血し易いということはない; int2 & assump1 -> int3: 「この指定相続分は広いけどそれは出血し易くない」ということは成り立つ; fact4 -> int4: 仮にこの指定相続分は広いがしかし出血し易くないなら終わり掛ける; int3 & int4 -> int5: この指定相続分は終わり掛ける; fact10 & fact19 -> int6: この指定相続分は忙しないということはない; int6 & fact16 -> int7: 「この指定相続分は終わり掛けるし更にそれは五倍弱だ」ということは成り立たない; fact14 & int7 -> int8: この指定相続分は終わり掛けない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この指定相続分は出血し易い; int10 & fact9 -> hypothesis;
あの非才はセラミックスでない
$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$ = 
fact5 -> int1: そのダウ式は噛み付くがそれは憎たらしくない; int1 & fact1 -> int2: この指定相続分は広い; void -> assump1: 以下のように仮定する。この指定相続分は出血し易いということはない; int2 & assump1 -> int3: 「この指定相続分は広いけどそれは出血し易くない」ということは成り立つ; fact4 -> int4: 仮にこの指定相続分は広いがしかし出血し易くないなら終わり掛ける; int3 & int4 -> int5: この指定相続分は終わり掛ける; fact10 & fact19 -> int6: この指定相続分は忙しないということはない; int6 & fact16 -> int7: 「この指定相続分は終わり掛けるし更にそれは五倍弱だ」ということは成り立たない; fact14 & int7 -> int8: この指定相続分は終わり掛けない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この指定相続分は出血し易い; int10 & fact9 -> 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. 事実5から、推論1: "そのダウ式は噛み付くがそれは憎たらしくない"が導かれる
2. 推論1と事実1から、推論2: "この指定相続分は広い"が導かれる
3. 仮定1: 以下のように仮定する。この指定相続分は出血し易いということはない
4. 推論2と仮定1から、推論3: "「この指定相続分は広いけどそれは出血し易くない」ということは成り立つ"が導かれる
5. 事実4から、推論4: "仮にこの指定相続分は広いがしかし出血し易くないなら終わり掛ける"が導かれる
6. 推論3と推論4から、推論5: "この指定相続分は終わり掛ける"が導かれる
7. 事実10と事実19から、推論6: "この指定相続分は忙しないということはない"が導かれる
8. 推論6と事実16から、推論7: "「この指定相続分は終わり掛けるし更にそれは五倍弱だ」ということは成り立たない"が導かれる
9. 事実14と推論7から、推論8: "この指定相続分は終わり掛けない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この指定相続分は出血し易い"が導かれる
12. 推論10と事実9から、仮説が否定される

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