その両当事者は食後酒でない
fact1: あの保温容器がぐったりするということはないとするとこの国対政治は駆けない fact2: その本職は考察結果であるとすれば「稼働しないしそれに大脳基底核である」ということは確かでない fact3: その両当事者は御忙しくないか俊足であるかまたは両方だとしたらそれは食後酒だ fact4: この国対政治は駆ける fact5: もしその本職が稼働するとすればその両当事者は行われ易いということはない fact6: 仮に「何らかのものは食後酒である一方でそれは考察結果でない」ということは間違いなら食後酒でない fact7: もしもその本職が考察結果でないとしたらあの保温容器はぐったりしない fact8: その本職は考察結果であるとすると「稼働するし更に大脳基底核だ」ということは真実でない fact9: その両当事者は行われ易くないとすると「御忙しくないか俊足であるかまたは両方ともだ」ということは成り立つ fact10: もし仮にこの国対政治が食後酒でないとするとそれは駆けるか考察結果だ fact11: このＨＴＭＬフォームは駆ける fact12: もし仮に大脳基底核が駆けないならそれはぐったりする fact13: もしその両当事者が行われ易くないなら御忙しいか俊足である fact14: 「その本職は行われ易い」ということは本当だ fact15: 仮に何らかのものは行われ易いとしたら「それは稼働しない」ということは成り立つ fact16: もしも「その本職は稼働しないがそれは大脳基底核だ」ということは間違っていればその両当事者は行われ易くない fact17: その両当事者は御忙しいかもしくは俊足である fact18: 仮にその両当事者が御忙しくないならば食後酒である
void -> assump1: 以下のように仮定する。その本職は考察結果でない; fact7 & assump1 -> int1: あの保温容器はぐったりしない; int1 & fact1 -> int2: この国対政治は駆けない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: その本職は考察結果である; int4 & fact2 -> int5: 「その本職は稼働しないが大脳基底核だ」ということは嘘だ; int5 & fact16 -> int6: その両当事者は行われ易くない; int6 & fact9 -> int7: その両当事者は御忙しくないかもしくは俊足であるか両方だ; int7 & fact3 -> hypothesis;
その両当事者は食後酒でない
fact21 -> int8: もしも「その両当事者は食後酒である一方で考察結果でない」ということは間違っていればそれは食後酒でない; fact19 -> int9: 仮にその本職は大脳基底核であるがしかし駆けないならば「ぐったりする」ということは事実だ; fact22 -> int10: もしもその本職が行われ易いとしたら稼働しない; int10 & fact20 -> int11: その本職は稼働しない;
$facts$ = fact1: あの保温容器がぐったりするということはないとするとこの国対政治は駆けない fact2: その本職は考察結果であるとすれば「稼働しないしそれに大脳基底核である」ということは確かでない fact3: その両当事者は御忙しくないか俊足であるかまたは両方だとしたらそれは食後酒だ fact4: この国対政治は駆ける fact5: もしその本職が稼働するとすればその両当事者は行われ易いということはない fact6: 仮に「何らかのものは食後酒である一方でそれは考察結果でない」ということは間違いなら食後酒でない fact7: もしもその本職が考察結果でないとしたらあの保温容器はぐったりしない fact8: その本職は考察結果であるとすると「稼働するし更に大脳基底核だ」ということは真実でない fact9: その両当事者は行われ易くないとすると「御忙しくないか俊足であるかまたは両方ともだ」ということは成り立つ fact10: もし仮にこの国対政治が食後酒でないとするとそれは駆けるか考察結果だ fact11: このＨＴＭＬフォームは駆ける fact12: もし仮に大脳基底核が駆けないならそれはぐったりする fact13: もしその両当事者が行われ易くないなら御忙しいか俊足である fact14: 「その本職は行われ易い」ということは本当だ fact15: 仮に何らかのものは行われ易いとしたら「それは稼働しない」ということは成り立つ fact16: もしも「その本職は稼働しないがそれは大脳基底核だ」ということは間違っていればその両当事者は行われ易くない fact17: その両当事者は御忙しいかもしくは俊足である fact18: 仮にその両当事者が御忙しくないならば食後酒である ; $hypothesis$ = その両当事者は食後酒でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その本職は考察結果でない; fact7 & assump1 -> int1: あの保温容器はぐったりしない; int1 & fact1 -> int2: この国対政治は駆けない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> int4: その本職は考察結果である; int4 & fact2 -> int5: 「その本職は稼働しないが大脳基底核だ」ということは嘘だ; int5 & fact16 -> int6: その両当事者は行われ易くない; int6 & fact9 -> int7: その両当事者は御忙しくないかもしくは俊足であるか両方だ; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: あの保温容器がぐったりするということはないとするとこの国対政治は駆けない
事実2: その本職は考察結果であるとすれば「稼働しないしそれに大脳基底核である」ということは確かでない
事実3: その両当事者は御忙しくないか俊足であるかまたは両方だとしたらそれは食後酒だ
事実4: この国対政治は駆ける
事実5: もしその本職が稼働するとすればその両当事者は行われ易いということはない
事実6: 仮に「何らかのものは食後酒である一方でそれは考察結果でない」ということは間違いなら食後酒でない
事実7: もしもその本職が考察結果でないとしたらあの保温容器はぐったりしない
事実8: その本職は考察結果であるとすると「稼働するし更に大脳基底核だ」ということは真実でない
事実9: その両当事者は行われ易くないとすると「御忙しくないか俊足であるかまたは両方ともだ」ということは成り立つ
事実10: もし仮にこの国対政治が食後酒でないとするとそれは駆けるか考察結果だ
事実11: このＨＴＭＬフォームは駆ける
事実12: もし仮に大脳基底核が駆けないならそれはぐったりする
事実13: もしその両当事者が行われ易くないなら御忙しいか俊足である
事実14: 「その本職は行われ易い」ということは本当だ
事実15: 仮に何らかのものは行われ易いとしたら「それは稼働しない」ということは成り立つ
事実16: もしも「その本職は稼働しないがそれは大脳基底核だ」ということは間違っていればその両当事者は行われ易くない
事実17: その両当事者は御忙しいかもしくは俊足である
事実18: 仮にその両当事者が御忙しくないならば食後酒である

仮説: その両当事者は食後酒でない
1. 仮定1: 以下のように仮定する。その本職は考察結果でない
2. 事実7と仮定1から、推論1: "あの保温容器はぐったりしない"が導かれる
3. 推論1と事実1から、推論2: "この国対政治は駆けない"が導かれる
4. 推論2と事実4から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その本職は考察結果である"が導かれる
6. 推論4と事実2から、推論5: "「その本職は稼働しないが大脳基底核だ」ということは嘘だ"が導かれる
7. 推論5と事実16から、推論6: "その両当事者は行われ易くない"が導かれる
8. 推論6と事実9から、推論7: "その両当事者は御忙しくないかもしくは俊足であるか両方だ"が導かれる
9. 推論7と事実3から、仮説が否定される

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