そのＩワンは博士号である
fact1: そのＩワンは結び付き難い fact2: この文武天皇は環境目的・目標でないけれど麗しい fact3: 仮にそのＩワンが再起動しないならこの十七α‐ヒドロキシプロゲステロンは博士号である fact4: もし仮に何らかのものはフラスコ内でないとすると博士号だ fact5: もしもそのＩワンが悍ましいということはないしおまけにそれは再起動しないとすると「その連続音は再起動する」ということは確かである fact6: 仮にその連続音が釈迦牟尼仏だけど朱書しないとすれば結び付き難い fact7: 仮にこの文武天皇が環境目的・目標だということはないがそれが麗しいとしたらその連続音は釈迦牟尼仏だ fact8: 「あのクエスチョンは対面しないが朱書する」ということは間違いであるならばあの寝技は朱書するということはない fact9: もしもそのＩワンが悍ましいならば決算書作成である fact10: その連続音が拒否し続けるということはないとするとそのＩワンは悍ましい fact11: もしあの寝技が朱書しないならばその連続音は朱書しない fact12: もしも「悪しくない」ものはあるとすれば「あのクエスチョンは対面しないけど朱書する」ということは真実でない fact13: もし仮に「この十七α‐ヒドロキシプロゲステロンはフラスコ内であるけどそれは再起動しない」ということは事実と異なるとすれば「その連続音は拒否し続けない」ということは成り立つ fact14: 悍ましいものは拒否し続けるけど再起動するということはない fact15: もしもとあるものが朱書すれば博士号でないしその上決算書作成であるということはない fact16: 「その連続音は悍ましいということはなくて決算書作成でない」ということは嘘であるとしたらこの十七α‐ヒドロキシプロゲステロンは悍ましい fact17: なんらかの物が博士号でなくてかつ決算書作成だということはないならばこの文武天皇は拒否し続ける fact18: この十七α‐ヒドロキシプロゲステロンがフラスコ内でないとしたらその連続音は拒否し続けない fact19: 「悪しくない」ものはある fact20: もし仮にこの十七α‐ヒドロキシプロゲステロンは結び付き難くないけどフラスコ内だとしたら「そのサテンは結び付き難くない」ということは本当だ fact21: 仮にそのＩワンは決算書作成でかつ結び付き難いとすれば博士号であるということはない fact22: この十七α‐ヒドロキシプロゲステロンは再起動する fact23: この文武天皇が拒否し続けるとしたらそのＩワンは悍ましいということはないしさらに再起動しない
void -> assump1: 以下のように仮定する。この十七α‐ヒドロキシプロゲステロンはフラスコ内だけど再起動しない; assump1 -> int1: この十七α‐ヒドロキシプロゲステロンは再起動しない; int1 & fact22 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この十七α‐ヒドロキシプロゲステロンはフラスコ内だがしかし再起動しない」ということは誤っている; int3 & fact13 -> int4: その連続音は拒否し続けるということはない; int4 & fact10 -> int5: そのＩワンは悍ましい; int5 & fact9 -> int6: そのＩワンは決算書作成である; int6 & fact1 -> int7: そのＩワンは決算書作成でおまけに結び付き難い; int7 & fact21 -> hypothesis;
そのＩワンは博士号である
fact26 -> int8: もし仮にそのＩワンはフラスコ内でないなら博士号だ; fact24 -> int9: 仮にこの十七α‐ヒドロキシプロゲステロンが悍ましいなら拒否し続けるしそれに再起動しない; fact27 & fact30 -> int10: その連続音は釈迦牟尼仏である; fact33 & fact29 -> int11: 「あのクエスチョンは対面しないがそれは朱書する」ということは偽である; fact28 & int11 -> int12: あの寝技は朱書するということはない; fact25 & int12 -> int13: その連続音は朱書しない; int10 & int13 -> int14: その連続音は釈迦牟尼仏だけれどそれは朱書しない; fact32 & int14 -> int15: その連続音は結び付き難い;
$facts$ = fact1: そのＩワンは結び付き難い fact2: この文武天皇は環境目的・目標でないけれど麗しい fact3: 仮にそのＩワンが再起動しないならこの十七α‐ヒドロキシプロゲステロンは博士号である fact4: もし仮に何らかのものはフラスコ内でないとすると博士号だ fact5: もしもそのＩワンが悍ましいということはないしおまけにそれは再起動しないとすると「その連続音は再起動する」ということは確かである fact6: 仮にその連続音が釈迦牟尼仏だけど朱書しないとすれば結び付き難い fact7: 仮にこの文武天皇が環境目的・目標だということはないがそれが麗しいとしたらその連続音は釈迦牟尼仏だ fact8: 「あのクエスチョンは対面しないが朱書する」ということは間違いであるならばあの寝技は朱書するということはない fact9: もしもそのＩワンが悍ましいならば決算書作成である fact10: その連続音が拒否し続けるということはないとするとそのＩワンは悍ましい fact11: もしあの寝技が朱書しないならばその連続音は朱書しない fact12: もしも「悪しくない」ものはあるとすれば「あのクエスチョンは対面しないけど朱書する」ということは真実でない fact13: もし仮に「この十七α‐ヒドロキシプロゲステロンはフラスコ内であるけどそれは再起動しない」ということは事実と異なるとすれば「その連続音は拒否し続けない」ということは成り立つ fact14: 悍ましいものは拒否し続けるけど再起動するということはない fact15: もしもとあるものが朱書すれば博士号でないしその上決算書作成であるということはない fact16: 「その連続音は悍ましいということはなくて決算書作成でない」ということは嘘であるとしたらこの十七α‐ヒドロキシプロゲステロンは悍ましい fact17: なんらかの物が博士号でなくてかつ決算書作成だということはないならばこの文武天皇は拒否し続ける fact18: この十七α‐ヒドロキシプロゲステロンがフラスコ内でないとしたらその連続音は拒否し続けない fact19: 「悪しくない」ものはある fact20: もし仮にこの十七α‐ヒドロキシプロゲステロンは結び付き難くないけどフラスコ内だとしたら「そのサテンは結び付き難くない」ということは本当だ fact21: 仮にそのＩワンは決算書作成でかつ結び付き難いとすれば博士号であるということはない fact22: この十七α‐ヒドロキシプロゲステロンは再起動する fact23: この文武天皇が拒否し続けるとしたらそのＩワンは悍ましいということはないしさらに再起動しない ; $hypothesis$ = そのＩワンは博士号である ; $proof$ = 
void -> assump1: 以下のように仮定する。この十七α‐ヒドロキシプロゲステロンはフラスコ内だけど再起動しない; assump1 -> int1: この十七α‐ヒドロキシプロゲステロンは再起動しない; int1 & fact22 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この十七α‐ヒドロキシプロゲステロンはフラスコ内だがしかし再起動しない」ということは誤っている; int3 & fact13 -> int4: その連続音は拒否し続けるということはない; int4 & fact10 -> int5: そのＩワンは悍ましい; int5 & fact9 -> int6: そのＩワンは決算書作成である; int6 & fact1 -> int7: そのＩワンは決算書作成でおまけに結び付き難い; int7 & fact21 -> 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: この文武天皇が拒否し続けるとしたらそのＩワンは悍ましいということはないしさらに再起動しない

仮説: そのＩワンは博士号である
1. 仮定1: 以下のように仮定する。この十七α‐ヒドロキシプロゲステロンはフラスコ内だけど再起動しない
2. 仮定1から、推論1: "この十七α‐ヒドロキシプロゲステロンは再起動しない"が導かれる
3. 推論1と事実22から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この十七α‐ヒドロキシプロゲステロンはフラスコ内だがしかし再起動しない」ということは誤っている"が導かれる
5. 推論3と事実13から、推論4: "その連続音は拒否し続けるということはない"が導かれる
6. 推論4と事実10から、推論5: "そのＩワンは悍ましい"が導かれる
7. 推論5と事実9から、推論6: "そのＩワンは決算書作成である"が導かれる
8. 推論6と事実1から、推論7: "そのＩワンは決算書作成でおまけに結び付き難い"が導かれる
9. 推論7と事実21から、仮説が否定される

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