「その新規適用事業所現況書は嗜虐でそれは引き起こし易い」ということは成り立たない
fact1: もし仮に「そのＲＥネットはブルウイップ効果であるかあるいは田舎臭いかあるいはどちらもである」ということは成り立たないとすればその新規適用事業所現況書は輝かしくない fact2: そのＲＥネットは諸物価だ fact3: もしも「そのＲＥネットは覚え易くない」ということは本当であるなら「この米粒大はブルウイップ効果でないけど該当し得る」ということは間違いである fact4: そのＲＥネットは田舎臭くない fact5: もし仮にその新規適用事業所現況書が輝かしくないとすればそれは引き起こし易い fact6: もしこの米粒大が嗜虐だということはないとすればあの宗主は田舎臭くなくて更に輝かしくない fact7: もし仮に「あの平均μは諸物価であるがしかし輝かしくない」ということは誤っていればそのＲＥネットは覚え易くない fact8: この米粒大は諸物価だしかつ心無い fact9: そのＲＥネットは見窄らしくない fact10: 仮にその新規適用事業所現況書が輝かしくないとすれば嗜虐でおまけに引き起こし易い fact11: 「その宗主は該当し得る」ということは成り立つ fact12: もし仮にこの米粒大がブルウイップ効果でないとすればそのＲＥネットは田舎臭いということはない fact13: その宗主は該当し得るということはないとしたら「「その新規適用事業所現況書は嗜虐で引き起こし易い」ということは成り立つ」ということは誤りである fact14: その新規適用事業所現況書は心安い fact15: そのＲＥネットは覚え易い fact16: もしもこの米粒大は覚え易いしブルウイップ効果だとしたら諸物価でない fact17: もしもそのＲＥネットが引き起こし易くないとしたらそれは覚え易いし加えてブルウイップ効果である fact18: 「あの国家小会議は該当し得る」ということは成り立つ fact19: この米粒大は諸物価であるししかも輝かしいならそれは心無いということはない fact20: もしもそのＲＥネットは諸物価だということはないとしたら「「この米粒大は諸物価であるかまたはブルウイップ効果であるかまたは両方である」ということは成り立たない」ということは成り立つ fact21: この米粒大は心無い fact22: この米粒大はブルウイップ効果でないなら「そのＲＥネットはブルウイップ効果であるか田舎臭い」ということは成り立たない fact23: その新規適用事業所現況書は引き起こし易い fact24: この米粒大は嗜虐でない fact25: 仮にその宗主が田舎臭いということはないしそれに輝かしくないならばその懐紙は輝かしいということはない fact26: その身体的苦痛は田舎臭い fact27: その宗主が該当し得るとすればこの米粒大は覚え易い
fact27 & fact11 -> int1: この米粒大は覚え易い; void -> assump1: 以下のように仮定する。「この米粒大はブルウイップ効果である」ということは確かだ; int1 & assump1 -> int2: この米粒大は覚え易いしブルウイップ効果だ; int2 & fact16 -> int3: この米粒大は諸物価であるということはない; fact8 -> int4: この米粒大は諸物価である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この米粒大はブルウイップ効果でない」ということは正しい; int6 & fact22 -> int7: 「そのＲＥネットはブルウイップ効果であるかあるいは田舎臭いかどちらもだ」ということは成り立たない; int7 & fact1 -> int8: 「その新規適用事業所現況書は輝かしくない」ということは成り立つ; int8 & fact10 -> hypothesis;
その懐紙は諸物価でない
fact28 & fact30 -> int9: その宗主は田舎臭くないし輝かしくない; fact29 & int9 -> int10: その懐紙は輝かしくない;
$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: この米粒大は嗜虐でない fact25: 仮にその宗主が田舎臭いということはないしそれに輝かしくないならばその懐紙は輝かしいということはない fact26: その身体的苦痛は田舎臭い fact27: その宗主が該当し得るとすればこの米粒大は覚え易い ; $hypothesis$ = 「その新規適用事業所現況書は嗜虐でそれは引き起こし易い」ということは成り立たない ; $proof$ = 
fact27 & fact11 -> int1: この米粒大は覚え易い; void -> assump1: 以下のように仮定する。「この米粒大はブルウイップ効果である」ということは確かだ; int1 & assump1 -> int2: この米粒大は覚え易いしブルウイップ効果だ; int2 & fact16 -> int3: この米粒大は諸物価であるということはない; fact8 -> int4: この米粒大は諸物価である; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「この米粒大はブルウイップ効果でない」ということは正しい; int6 & fact22 -> int7: 「そのＲＥネットはブルウイップ効果であるかあるいは田舎臭いかどちらもだ」ということは成り立たない; int7 & fact1 -> int8: 「その新規適用事業所現況書は輝かしくない」ということは成り立つ; int8 & fact10 -> 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: この米粒大は嗜虐でない
事実25: 仮にその宗主が田舎臭いということはないしそれに輝かしくないならばその懐紙は輝かしいということはない
事実26: その身体的苦痛は田舎臭い
事実27: その宗主が該当し得るとすればこの米粒大は覚え易い

仮説: 「その新規適用事業所現況書は嗜虐でそれは引き起こし易い」ということは成り立たない
1. 事実27と事実11から、推論1: "この米粒大は覚え易い"が導かれる
2. 仮定1: 以下のように仮定する。「この米粒大はブルウイップ効果である」ということは確かだ
3. 推論1と仮定1から、推論2: "この米粒大は覚え易いしブルウイップ効果だ"が導かれる
4. 推論2と事実16から、推論3: "この米粒大は諸物価であるということはない"が導かれる
5. 事実8から、推論4: "この米粒大は諸物価である"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「この米粒大はブルウイップ効果でない」ということは正しい"が導かれる
8. 推論6と事実22から、推論7: "「そのＲＥネットはブルウイップ効果であるかあるいは田舎臭いかどちらもだ」ということは成り立たない"が導かれる
9. 推論7と事実1から、推論8: "「その新規適用事業所現況書は輝かしくない」ということは成り立つ"が導かれる
10. 推論8と事実10から、仮説が否定される

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