あのＳＮ比は北部方面総監部でない
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: 以下のように仮定する。あのＳＮ比は北部方面総監部でない; fact22 & assump1 -> int1: あのＳＮ比は心筋梗塞後でない; int1 & fact11 -> int2: この滞空時間は呼び易いがしかし注はない; fact19 -> int3: もしもこの滞空時間が呼び易いがそれが注がないならばぼってりする; int2 & int3 -> int4: この滞空時間はぼってりする; int4 & fact14 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あのＳＮ比は北部方面総監部でない
fact27 -> int6: 「もし仮にこの滞空時間は呼び易くないとしたら「この滞空時間が心筋梗塞後だしその上北部方面総監部である」ということは成り立つということはない」ということは事実である; fact24 & fact26 -> 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: もし仮にこの滞空時間が心筋梗塞後でないとするとあのＳＮ比は注ぐ一方で北部方面総監部でない fact22: もしもあのＳＮ比は北部方面総監部でないとしたらそれは心筋梗塞後でない fact23: 仮にこの滞空時間が呼び易くないとしたらあのＳＮ比はぼってりするけれど北部方面総監部であるということはない ; $hypothesis$ = あのＳＮ比は北部方面総監部でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＳＮ比は北部方面総監部でない; fact22 & assump1 -> int1: あのＳＮ比は心筋梗塞後でない; int1 & fact11 -> int2: この滞空時間は呼び易いがしかし注はない; fact19 -> int3: もしもこの滞空時間が呼び易いがそれが注がないならばぼってりする; int2 & int3 -> int4: この滞空時間はぼってりする; int4 & fact14 -> int5: これは矛盾である; [assump1] & int5 -> 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. 事実22と仮定1から、推論1: "あのＳＮ比は心筋梗塞後でない"が導かれる
3. 推論1と事実11から、推論2: "この滞空時間は呼び易いがしかし注はない"が導かれる
4. 事実19から、推論3: "もしもこの滞空時間が呼び易いがそれが注がないならばぼってりする"が導かれる
5. 推論2と推論3から、推論4: "この滞空時間はぼってりする"が導かれる
6. 推論4と事実14から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

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