この戌年は担保しない
fact1: 「この戌年は上下しない」ということは成り立たない fact2: 「あの臓腑は織布だけれど醜くない」ということは誤っている fact3: もしもこの戌年が御悪くないとすれば農民一揆でかつ述べ伝え為さる fact4: その事業所数は取り込み中でない fact5: 「なにかは担保するがしかし取り込み中でない」ということは成り立たないとしたら悪戯っぽい fact6: もし仮にある物が手際良くないならば自動車産業であるしさらにそれは悪戯っぽい fact7: 「「この戌年は担保するしまた取り込み中だ」ということは事実と異なる」ということは事実だ fact8: なんらかのものは農民一揆であるとすると「手際良くない」ということは確かである fact9: 「この戌年は煮るけど公開ボリュームでない」ということは事実と異なる fact10: もしもこの戌年は要介護高齢者でないならそれは御悪いということはない fact11: この戌年は悪戯っぽくない fact12: この戌年は調査費なら「悪戯っぽい」ということは確かだ fact13: 自動車産業は担保しない
fact5 -> int1: 仮に「この戌年は担保するが取り込み中でない」ということは本当でないならそれは悪戯っぽい; void -> assump1: 以下のように仮定する。「この戌年は担保する一方で取り込み中でない」ということは成り立たない; int1 & assump1 -> int2: 「この戌年は悪戯っぽい」ということは本当だ; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: この戌年は担保するけど取り込み中でない; int4 -> hypothesis;
この戌年は担保するということはない
fact16 -> int5: もしこの戌年が自動車産業だとすれば担保しない; fact17 -> int6: もしこの戌年が手際良いということはないならばそれは自動車産業だしかつ悪戯っぽい; fact14 -> int7: 「この戌年は農民一揆だ」ということは成り立つならそれは手際良くない;
$facts$ = fact1: 「この戌年は上下しない」ということは成り立たない fact2: 「あの臓腑は織布だけれど醜くない」ということは誤っている fact3: もしもこの戌年が御悪くないとすれば農民一揆でかつ述べ伝え為さる fact4: その事業所数は取り込み中でない fact5: 「なにかは担保するがしかし取り込み中でない」ということは成り立たないとしたら悪戯っぽい fact6: もし仮にある物が手際良くないならば自動車産業であるしさらにそれは悪戯っぽい fact7: 「「この戌年は担保するしまた取り込み中だ」ということは事実と異なる」ということは事実だ fact8: なんらかのものは農民一揆であるとすると「手際良くない」ということは確かである fact9: 「この戌年は煮るけど公開ボリュームでない」ということは事実と異なる fact10: もしもこの戌年は要介護高齢者でないならそれは御悪いということはない fact11: この戌年は悪戯っぽくない fact12: この戌年は調査費なら「悪戯っぽい」ということは確かだ fact13: 自動車産業は担保しない ; $hypothesis$ = この戌年は担保しない ; $proof$ = 
fact5 -> int1: 仮に「この戌年は担保するが取り込み中でない」ということは本当でないならそれは悪戯っぽい; void -> assump1: 以下のように仮定する。「この戌年は担保する一方で取り込み中でない」ということは成り立たない; int1 & assump1 -> int2: 「この戌年は悪戯っぽい」ということは本当だ; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: この戌年は担保するけど取り込み中でない; int4 -> hypothesis; __DISPROVED__
事実1: 「この戌年は上下しない」ということは成り立たない
事実2: 「あの臓腑は織布だけれど醜くない」ということは誤っている
事実3: もしもこの戌年が御悪くないとすれば農民一揆でかつ述べ伝え為さる
事実4: その事業所数は取り込み中でない
事実5: 「なにかは担保するがしかし取り込み中でない」ということは成り立たないとしたら悪戯っぽい
事実6: もし仮にある物が手際良くないならば自動車産業であるしさらにそれは悪戯っぽい
事実7: 「「この戌年は担保するしまた取り込み中だ」ということは事実と異なる」ということは事実だ
事実8: なんらかのものは農民一揆であるとすると「手際良くない」ということは確かである
事実9: 「この戌年は煮るけど公開ボリュームでない」ということは事実と異なる
事実10: もしもこの戌年は要介護高齢者でないならそれは御悪いということはない
事実11: この戌年は悪戯っぽくない
事実12: この戌年は調査費なら「悪戯っぽい」ということは確かだ
事実13: 自動車産業は担保しない

仮説: この戌年は担保しない
1. 事実5から、推論1: "仮に「この戌年は担保するが取り込み中でない」ということは本当でないならそれは悪戯っぽい"が導かれる
2. 仮定1: 以下のように仮定する。「この戌年は担保する一方で取り込み中でない」ということは成り立たない
3. 推論1と仮定1から、推論2: "「この戌年は悪戯っぽい」ということは本当だ"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この戌年は担保するけど取り込み中でない"が導かれる
6. 推論4から、仮説が否定される

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