「この医療制度は月刊誌だが御手伝いしない」ということは成り立たない
fact1: 仮に「なんらかのものは通ぜない一方でストラトキャスターだ」ということは偽であるとすれば御手伝いするということはない fact2: もし何らかの物がＳグレップだということはないとするとそれは灰色っぽくない fact3: この天上天下は走り始めるということはない fact4: その高泌乳牛は走り始めるということはない fact5: その高泌乳牛は殉葬するとすると「その金褐色は焼き切れないかあるいは殉葬するかあるいは両方だ」ということは誤っている fact6: もしも「その金褐色は焼き切れないかまたは殉葬するか両方ともだ」ということは正しくないならこの持ち合いはＳグレップでない fact7: もし仮にその高泌乳牛が高齢者問題でないがストラトキャスターであるならそれは通ずるということはない fact8: もしもなにがしかの物が灰色っぽくないかあるいはそれが荒っぽいか両方ともだとしたらその高泌乳牛は灰色っぽくない fact9: 「その金褐色は出し易くないがしかし焼き切れる」ということは成り立たない fact10: 仮に灰色っぽいものは月刊誌であるとしたらＳグレップでない fact11: もしもその高泌乳牛は殉葬しないなら「「膀胱内でないがしゃしゃり出る」ということは本当である」ということは間違いだ fact12: なんらかの物は灰色っぽくないかまたは荒っぽいかもしくは両方だ fact13: その金褐色は月刊誌である fact14: もし仮になにがしかのものは殉葬するなら「月刊誌であるけれど御手伝いするということはない」ということは成り立たない fact15: もしもあるものはＳグレップでないとしたら殉葬するし更に焼き切れる fact16: もし仮に「とあるものは膀胱内でないけどしゃしゃり出る」ということは誤っているなら走り始める fact17: なんらかの物が焼き切れないけれどそれは走り始めるとすると「それは殉葬する」ということは事実だ fact18: もし仮にこの持ち合いが灰色っぽくないならこの医療制度が月刊誌だけどそれは御手伝いしない fact19: その高泌乳牛は高齢者問題だということはないけどストラトキャスターである fact20: もし仮にその高泌乳牛が殉葬するしかつ焼き切れるならばあの金褐色は走り始めない
void -> assump1: 以下のように仮定する。「その高泌乳牛は殉葬しない」ということは事実だ; fact11 & assump1 -> int1: 「その高泌乳牛は膀胱内でないけれどしゃしゃり出る」ということは誤りだ; fact16 -> int2: 「その高泌乳牛は膀胱内でないがしゃしゃり出る」ということは本当であるということはないならば走り始める; int1 & int2 -> int3: その高泌乳牛は走り始める; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その高泌乳牛は殉葬する」ということは事実である; int5 & fact5 -> int6: 「その金褐色は焼き切れないか殉葬する」ということは本当でない; int6 & fact6 -> int7: この持ち合いはＳグレップでない; fact2 -> int8: この持ち合いがＳグレップでないとすれば灰色っぽくない; int7 & int8 -> int9: この持ち合いは灰色っぽいということはない; int9 & fact18 -> hypothesis;
その金褐色は走り始めない
fact22 -> int10: その高泌乳牛がＳグレップでないとするとそれは殉葬するし更に焼き切れる; fact23 -> int11: 仮にその高泌乳牛が灰色っぽいしおまけに月刊誌だとしたらそれはＳグレップでない; fact21 -> int12: 仮に「「その高泌乳牛は通ぜない一方でそれはストラトキャスターである」ということは真実だ」ということは成り立たないとすると御手伝いしない;
$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: 以下のように仮定する。「その高泌乳牛は殉葬しない」ということは事実だ; fact11 & assump1 -> int1: 「その高泌乳牛は膀胱内でないけれどしゃしゃり出る」ということは誤りだ; fact16 -> int2: 「その高泌乳牛は膀胱内でないがしゃしゃり出る」ということは本当であるということはないならば走り始める; int1 & int2 -> int3: その高泌乳牛は走り始める; int3 & fact4 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「その高泌乳牛は殉葬する」ということは事実である; int5 & fact5 -> int6: 「その金褐色は焼き切れないか殉葬する」ということは本当でない; int6 & fact6 -> int7: この持ち合いはＳグレップでない; fact2 -> int8: この持ち合いがＳグレップでないとすれば灰色っぽくない; int7 & int8 -> int9: この持ち合いは灰色っぽいということはない; int9 & fact18 -> 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. 事実11と仮定1から、推論1: "「その高泌乳牛は膀胱内でないけれどしゃしゃり出る」ということは誤りだ"が導かれる
3. 事実16から、推論2: "「その高泌乳牛は膀胱内でないがしゃしゃり出る」ということは本当であるということはないならば走り始める"が導かれる
4. 推論1と推論2から、推論3: "その高泌乳牛は走り始める"が導かれる
5. 推論3と事実4から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「その高泌乳牛は殉葬する」ということは事実である"が導かれる
7. 推論5と事実5から、推論6: "「その金褐色は焼き切れないか殉葬する」ということは本当でない"が導かれる
8. 推論6と事実6から、推論7: "この持ち合いはＳグレップでない"が導かれる
9. 事実2から、推論8: "この持ち合いがＳグレップでないとすれば灰色っぽくない"が導かれる
10. 推論7と推論8から、推論9: "この持ち合いは灰色っぽいということはない"が導かれる
11. 推論9と事実18から、仮説が否定される

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