この胡麻斑髪切りは肌寒い
fact1: もし仮にそのチェック・アンド・バランスが外光でないけど万軍だとすればあのフィリピン国内は外光でない fact2: あの香煙が設定出来ないがそれが爆発するとするとこの網状組織は爆発する fact3: 仮にこの胡麻斑髪切りが外光だとすればあのフィリピン国内は無名でない fact4: 無名は肌寒い fact5: この胡麻斑髪切りは無名でない fact6: 仮にこの胡麻斑髪切りが爆発しないかまたは万軍でないか両方ともであるとすれば肌寒くない fact7: そのチェック・アンド・バランスは持ち易くない fact8: 仮に「「跨ぐしおまけに無名だ」ということは間違いである」ものがあるとすればあの日本在住は跨がない fact9: 「そのチェック・アンド・バランスは持ち易くないし万軍でない」ということは間違いだとすればこの胡麻斑髪切りは持ち易い fact10: もしそのチェック・アンド・バランスが嘗め続けるが万軍でないならこのフィリピン国内は嘗め続けない fact11: もし仮にこのフィリピン国内が持ち易いなら無名だ fact12: もしもこのフィリピン国内は外光であるということはないなら「この胡麻斑髪切りが跨ぐしその上無名だ」ということは成り立たない fact13: 「そのチェック・アンド・バランスは熊本城下だけれどそれは無名であるということはない」ということは間違っている fact14: そのチェック・アンド・バランスは唱え出しないか爆発するか両方ともである fact15: 仮に「そのチェック・アンド・バランスは外光である」ということは本当ならこの胡麻斑髪切りは持ち易いということはない fact16: 仮にこの網状組織が爆発するならそのチェック・アンド・バランスは嘗め続けるがしかしそれは万軍でない fact17: 「そのチェック・アンド・バランスは持ち易いということはないしかつ熊本城下でない」ということは誤りだ fact18: もし「この胡麻斑髪切りはずんぐりしないし跨がない」ということは間違っているとすれば外光だ fact19: そのチェック・アンド・バランスは熊本城下でないかまたは思い上がらないかもしくは両方だ fact20: もしこの胡麻斑髪切りが嘗め続けないならば爆発しないかもしくは万軍でないかまたは両方だ fact21: 仮にこの胡麻斑髪切りがずんぐりしないし跨ぐということはないならばそれは嘗め続けない fact22: 仮に「そのチェック・アンド・バランスは持ち易くなくてかつ熊本城下でない」ということは成り立たないならばこのフィリピン国内は持ち易い fact23: 「あの転輪は肌寒くない」ということは本当だ fact24: もしそのチェック・アンド・バランスが持ち易くないとしたら爆発するし肌寒い
void -> assump1: 以下のように仮定する。「この胡麻斑髪切りはずんぐりしないしまた跨がない」ということは成り立たない; fact18 & assump1 -> int1: この胡麻斑髪切りは外光である; int1 & fact3 -> int2: このフィリピン国内は無名だということはない; fact22 & fact17 -> int3: このフィリピン国内は持ち易い; int3 & fact11 -> int4: このフィリピン国内は無名だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この胡麻斑髪切りはずんぐりするということはなくてしかも跨がない; int6 & fact21 -> int7: この胡麻斑髪切りは嘗め続けない; int7 & fact20 -> int8: 「この胡麻斑髪切りは爆発するということはないかまたは万軍でないかどちらもである」ということは正しい; int8 & fact6 -> hypothesis;
この胡麻斑髪切りは肌寒い
fact27 -> int9: もし仮にこの胡麻斑髪切りが無名だとするとそれは肌寒い;
$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$ = 
void -> assump1: 以下のように仮定する。「この胡麻斑髪切りはずんぐりしないしまた跨がない」ということは成り立たない; fact18 & assump1 -> int1: この胡麻斑髪切りは外光である; int1 & fact3 -> int2: このフィリピン国内は無名だということはない; fact22 & fact17 -> int3: このフィリピン国内は持ち易い; int3 & fact11 -> int4: このフィリピン国内は無名だ; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この胡麻斑髪切りはずんぐりするということはなくてしかも跨がない; int6 & fact21 -> int7: この胡麻斑髪切りは嘗め続けない; int7 & fact20 -> int8: 「この胡麻斑髪切りは爆発するということはないかまたは万軍でないかどちらもである」ということは正しい; int8 & fact6 -> 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. 仮定1: 以下のように仮定する。「この胡麻斑髪切りはずんぐりしないしまた跨がない」ということは成り立たない
2. 事実18と仮定1から、推論1: "この胡麻斑髪切りは外光である"が導かれる
3. 推論1と事実3から、推論2: "このフィリピン国内は無名だということはない"が導かれる
4. 事実22と事実17から、推論3: "このフィリピン国内は持ち易い"が導かれる
5. 推論3と事実11から、推論4: "このフィリピン国内は無名だ"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この胡麻斑髪切りはずんぐりするということはなくてしかも跨がない"が導かれる
8. 推論6と事実21から、推論7: "この胡麻斑髪切りは嘗め続けない"が導かれる
9. 推論7と事実20から、推論8: "「この胡麻斑髪切りは爆発するということはないかまたは万軍でないかどちらもである」ということは正しい"が導かれる
10. 推論8と事実6から、仮説が否定される

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