その拭き方は説明し難くない
fact1: もしもそのゴブレットは着座しないとすれば「産業企業であるかもしくは飲み難いか両方だ」ということは嘘である fact2: 仮にその拭き方は倉庫証券でなくて説明し難くないとしたら着座する fact3: もし「なにがしかのものはドリーム観光だということはなくておまけに倉庫証券でない」ということは確かだとすればそれはリラックスする fact4: もしも何かは着座しないけど倉庫証券だとしたら産業企業である fact5: 「その拭き方は産業企業である」ということは正しい fact6: もしも「とある物が辿り直すしその上赤い」ということは成り立たないとしたら辿り直さない fact7: 仮になにかはリラックスするししかも説明し難いとすると「悩み苦しまない」ということは成り立つ fact8: 仮にその拭き方が説明し難くないとするとそのゴブレットはドリーム観光でないしおまけに倉庫証券であるということはない fact9: そのゴブレットは産業企業でない fact10: もし仮に「何らかの物は産業企業であるかそれは飲み難いかまたは両方ともである」ということは確かであるということはないなら「それはリラックスしない」ということは成り立つ fact11: その拭き方は降り出す fact12: もしなにかは着座しないが飲み難いとすればそれは産業企業でない fact13: この筆順は着座しない fact14: あのスローテンポは着座するしその上辿り直す fact15: もしその拭き方が辿り直すということはないならばそれは着座するということはないしそれは飲み難い fact16: もし仮にあのスローテンポが着座するとすればあの入会後は飲み難い fact17: そのゴブレットは説明し難くない fact18: その拭き方は流行り始めない fact19: 仮にそのゴブレットは説明し難くないなら産業企業でない fact20: そのゴブレットは着座しない
void -> assump1: 以下のように仮定する。その拭き方は説明し難くない; fact8 & assump1 -> int1: そのゴブレットはドリーム観光でないしおまけに倉庫証券でない; fact3 -> int2: 仮にそのゴブレットはドリーム観光でないしさらに倉庫証券でないならばそれはリラックスする; int1 & int2 -> int3: そのゴブレットはリラックスする; fact1 & fact20 -> int4: 「そのゴブレットは産業企業であるかもしくは飲み難いかもしくは両方である」ということは誤っている; fact10 -> int5: 「「そのゴブレットは産業企業であるかもしくはそれは飲み難いか両方だ」ということは成り立たない」ということは成り立てばリラックスしない; int4 & int5 -> int6: そのゴブレットはリラックスしない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
その拭き方は説明し難くない
fact22 -> int8: あのスローテンポは着座する; fact21 & int8 -> int9: この入会後は飲み難い; int9 -> int10: 「飲み難い」ものはある;
$facts$ = fact1: もしもそのゴブレットは着座しないとすれば「産業企業であるかもしくは飲み難いか両方だ」ということは嘘である fact2: 仮にその拭き方は倉庫証券でなくて説明し難くないとしたら着座する fact3: もし「なにがしかのものはドリーム観光だということはなくておまけに倉庫証券でない」ということは確かだとすればそれはリラックスする fact4: もしも何かは着座しないけど倉庫証券だとしたら産業企業である fact5: 「その拭き方は産業企業である」ということは正しい fact6: もしも「とある物が辿り直すしその上赤い」ということは成り立たないとしたら辿り直さない fact7: 仮になにかはリラックスするししかも説明し難いとすると「悩み苦しまない」ということは成り立つ fact8: 仮にその拭き方が説明し難くないとするとそのゴブレットはドリーム観光でないしおまけに倉庫証券であるということはない fact9: そのゴブレットは産業企業でない fact10: もし仮に「何らかの物は産業企業であるかそれは飲み難いかまたは両方ともである」ということは確かであるということはないなら「それはリラックスしない」ということは成り立つ fact11: その拭き方は降り出す fact12: もしなにかは着座しないが飲み難いとすればそれは産業企業でない fact13: この筆順は着座しない fact14: あのスローテンポは着座するしその上辿り直す fact15: もしその拭き方が辿り直すということはないならばそれは着座するということはないしそれは飲み難い fact16: もし仮にあのスローテンポが着座するとすればあの入会後は飲み難い fact17: そのゴブレットは説明し難くない fact18: その拭き方は流行り始めない fact19: 仮にそのゴブレットは説明し難くないなら産業企業でない fact20: そのゴブレットは着座しない ; $hypothesis$ = その拭き方は説明し難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その拭き方は説明し難くない; fact8 & assump1 -> int1: そのゴブレットはドリーム観光でないしおまけに倉庫証券でない; fact3 -> int2: 仮にそのゴブレットはドリーム観光でないしさらに倉庫証券でないならばそれはリラックスする; int1 & int2 -> int3: そのゴブレットはリラックスする; fact1 & fact20 -> int4: 「そのゴブレットは産業企業であるかもしくは飲み難いかもしくは両方である」ということは誤っている; fact10 -> int5: 「「そのゴブレットは産業企業であるかもしくはそれは飲み難いか両方だ」ということは成り立たない」ということは成り立てばリラックスしない; int4 & int5 -> int6: そのゴブレットはリラックスしない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもそのゴブレットは着座しないとすれば「産業企業であるかもしくは飲み難いか両方だ」ということは嘘である
事実2: 仮にその拭き方は倉庫証券でなくて説明し難くないとしたら着座する
事実3: もし「なにがしかのものはドリーム観光だということはなくておまけに倉庫証券でない」ということは確かだとすればそれはリラックスする
事実4: もしも何かは着座しないけど倉庫証券だとしたら産業企業である
事実5: 「その拭き方は産業企業である」ということは正しい
事実6: もしも「とある物が辿り直すしその上赤い」ということは成り立たないとしたら辿り直さない
事実7: 仮になにかはリラックスするししかも説明し難いとすると「悩み苦しまない」ということは成り立つ
事実8: 仮にその拭き方が説明し難くないとするとそのゴブレットはドリーム観光でないしおまけに倉庫証券であるということはない
事実9: そのゴブレットは産業企業でない
事実10: もし仮に「何らかの物は産業企業であるかそれは飲み難いかまたは両方ともである」ということは確かであるということはないなら「それはリラックスしない」ということは成り立つ
事実11: その拭き方は降り出す
事実12: もしなにかは着座しないが飲み難いとすればそれは産業企業でない
事実13: この筆順は着座しない
事実14: あのスローテンポは着座するしその上辿り直す
事実15: もしその拭き方が辿り直すということはないならばそれは着座するということはないしそれは飲み難い
事実16: もし仮にあのスローテンポが着座するとすればあの入会後は飲み難い
事実17: そのゴブレットは説明し難くない
事実18: その拭き方は流行り始めない
事実19: 仮にそのゴブレットは説明し難くないなら産業企業でない
事実20: そのゴブレットは着座しない

仮説: その拭き方は説明し難くない
1. 仮定1: 以下のように仮定する。その拭き方は説明し難くない
2. 事実8と仮定1から、推論1: "そのゴブレットはドリーム観光でないしおまけに倉庫証券でない"が導かれる
3. 事実3から、推論2: "仮にそのゴブレットはドリーム観光でないしさらに倉庫証券でないならばそれはリラックスする"が導かれる
4. 推論1と推論2から、推論3: "そのゴブレットはリラックスする"が導かれる
5. 事実1と事実20から、推論4: "「そのゴブレットは産業企業であるかもしくは飲み難いかもしくは両方である」ということは誤っている"が導かれる
6. 事実10から、推論5: "「「そのゴブレットは産業企業であるかもしくはそれは飲み難いか両方だ」ということは成り立たない」ということは成り立てばリラックスしない"が導かれる
7. 推論4と推論5から、推論6: "そのゴブレットはリラックスしない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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