「その預金保険制度が乳酸だとすればこの偽預言者は起爆する」ということは事実でない
fact1: もし仮に「そのマルチプレックス検出法は表示である」ということは成り立つとしたらこの偽預言者は一瞬間でないか保育者同士であるかもしくは両方ともだ fact2: 仮にその預金保険制度が乳酸だとするとこの偽預言者は名高い fact3: もしこの偽預言者が名高いとするとその預金保険制度は起爆する fact4: もしもこの偽預言者が乳酸だとすればこの干満は名高い fact5: 仮にとある物が決め付けるということはないとしたらそれは損害賠償であるしまた大衆レストランだ fact6: その預金保険制度は小一だ fact7: もしもその預金保険制度が起爆するとするとこの偽預言者は乳酸だ fact8: 善意は生々しい fact9: もし仮にこの偽預言者が一瞬間でないかまたはそれが保育者同士であるか両方であるならその預金保険制度は決め付けない fact10: あの老年人口比率は起爆する fact11: この偽預言者は乳酸だ fact12: この偽預言者は乳酸だとすると「その預金保険制度は起爆する」ということは成り立つ fact13: この偽預言者は下級武士だ fact14: 調節し易い物は善意だ fact15: 名高いものは起爆する fact16: ある物が似付かわしいならばそれは退却する fact17: もしもその預金保険制度が名高いならばこの偽預言者は乳酸だ fact18: この偽預言者は乳酸だとしたら「その預金保険制度は名高い」ということは成り立つ fact19: この偽預言者が起爆するとしたらその預金保険制度は名高い fact20: そのマルチプレックス検出法は表示だ fact21: 「その預金保険制度は起爆する」ということは正しい
void -> assump1: 以下のように仮定する。その預金保険制度は乳酸である; fact2 & assump1 -> int1: この偽預言者は名高い; fact15 -> int2: この偽預言者は名高いならば「それは起爆する」ということは成り立つ; int1 & int2 -> int3: この偽預言者は起爆する; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b}; fact15 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; [assump1] & int3 -> hypothesis;
あの一定規模は名高い
fact24 -> int4: もしもその預金保険制度が決め付けるということはないならそれは損害賠償であるしかつ大衆レストランである; fact23 & fact22 -> int5: この偽預言者は一瞬間でないかもしくは保育者同士であるかあるいはどちらもである; fact25 & int5 -> int6: その預金保険制度は決め付けない; int4 & int6 -> int7: 「その預金保険制度は損害賠償だしさらに大衆レストランである」ということは確かである; int7 -> int8: 「損害賠償であるしさらに大衆レストランな」物はある;
$facts$ = fact1: もし仮に「そのマルチプレックス検出法は表示である」ということは成り立つとしたらこの偽預言者は一瞬間でないか保育者同士であるかもしくは両方ともだ fact2: 仮にその預金保険制度が乳酸だとするとこの偽預言者は名高い fact3: もしこの偽預言者が名高いとするとその預金保険制度は起爆する fact4: もしもこの偽預言者が乳酸だとすればこの干満は名高い fact5: 仮にとある物が決め付けるということはないとしたらそれは損害賠償であるしまた大衆レストランだ fact6: その預金保険制度は小一だ fact7: もしもその預金保険制度が起爆するとするとこの偽預言者は乳酸だ fact8: 善意は生々しい fact9: もし仮にこの偽預言者が一瞬間でないかまたはそれが保育者同士であるか両方であるならその預金保険制度は決め付けない fact10: あの老年人口比率は起爆する fact11: この偽預言者は乳酸だ fact12: この偽預言者は乳酸だとすると「その預金保険制度は起爆する」ということは成り立つ fact13: この偽預言者は下級武士だ fact14: 調節し易い物は善意だ fact15: 名高いものは起爆する fact16: ある物が似付かわしいならばそれは退却する fact17: もしもその預金保険制度が名高いならばこの偽預言者は乳酸だ fact18: この偽預言者は乳酸だとしたら「その預金保険制度は名高い」ということは成り立つ fact19: この偽預言者が起爆するとしたらその預金保険制度は名高い fact20: そのマルチプレックス検出法は表示だ fact21: 「その預金保険制度は起爆する」ということは正しい ; $hypothesis$ = 「その預金保険制度が乳酸だとすればこの偽預言者は起爆する」ということは事実でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その預金保険制度は乳酸である; fact2 & assump1 -> int1: この偽預言者は名高い; fact15 -> int2: この偽預言者は名高いならば「それは起爆する」ということは成り立つ; int1 & int2 -> int3: この偽預言者は起爆する; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮に「そのマルチプレックス検出法は表示である」ということは成り立つとしたらこの偽預言者は一瞬間でないか保育者同士であるかもしくは両方ともだ
事実2: 仮にその預金保険制度が乳酸だとするとこの偽預言者は名高い
事実3: もしこの偽預言者が名高いとするとその預金保険制度は起爆する
事実4: もしもこの偽預言者が乳酸だとすればこの干満は名高い
事実5: 仮にとある物が決め付けるということはないとしたらそれは損害賠償であるしまた大衆レストランだ
事実6: その預金保険制度は小一だ
事実7: もしもその預金保険制度が起爆するとするとこの偽預言者は乳酸だ
事実8: 善意は生々しい
事実9: もし仮にこの偽預言者が一瞬間でないかまたはそれが保育者同士であるか両方であるならその預金保険制度は決め付けない
事実10: あの老年人口比率は起爆する
事実11: この偽預言者は乳酸だ
事実12: この偽預言者は乳酸だとすると「その預金保険制度は起爆する」ということは成り立つ
事実13: この偽預言者は下級武士だ
事実14: 調節し易い物は善意だ
事実15: 名高いものは起爆する
事実16: ある物が似付かわしいならばそれは退却する
事実17: もしもその預金保険制度が名高いならばこの偽預言者は乳酸だ
事実18: この偽預言者は乳酸だとしたら「その預金保険制度は名高い」ということは成り立つ
事実19: この偽預言者が起爆するとしたらその預金保険制度は名高い
事実20: そのマルチプレックス検出法は表示だ
事実21: 「その預金保険制度は起爆する」ということは正しい

仮説: 「その預金保険制度が乳酸だとすればこの偽預言者は起爆する」ということは事実でない
1. 仮定1: 以下のように仮定する。その預金保険制度は乳酸である
2. 事実2と仮定1から、推論1: "この偽預言者は名高い"が導かれる
3. 事実15から、推論2: "この偽預言者は名高いならば「それは起爆する」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "この偽預言者は起爆する"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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