「そのマゾ女はハムスターでない」ということは本当だ
fact1: なにかは柔いとすると「それはハムスターである」ということは誤りでない fact2: もしこの寄生は雑魚でないとすると「そのマゾ女は柔くない一方でそれはつれない」ということは成り立たない fact3: 仮に雑魚はＡＤＰであるとしたらそれはハムスターでない fact4: もし仮に「この寄生は雑魚でないかまたはそれはＡＤＰであるか両方ともである」ということは偽であるならばこのバンキングはＡＤＰだ fact5: 「「そのマゾ女は柔いしかつつれない」ということは事実でない」ということは間違いでない fact6: もしこの寄生は雑魚でないなら「そのマゾ女は柔いし更につれない」ということは成り立たない fact7: この寄生が雑魚だとするとあのギリシャ神話はＡＤＰである fact8: もし仮にそのマゾ女が柔いとしたらそれはハムスターである fact9: もしあのギリシャ神話は柔くないならば「この寄生は付き上げないけれどつれない」ということは事実と異なる fact10: なんらかの物は付き上げれば「雑魚でないかＡＤＰであるかまたは両方ともだ」ということは成り立たない fact11: この寄生は付き上げるとすると「あのギリシャ神話は雑魚だ」ということは本当である fact12: 「この寄生は付き上げないけれどつれない」ということは間違いだとするとそのマゾ女は付き上げない fact13: あのギリシャ神話は懐こい fact14: もしもあのギリシャ神話はノンファセットであるとすれば「「それは付き上げないかあるいはＡＤＰであるかあるいはどちらもである」ということは確かである」ということは誤りである fact15: あのギリシャ神話は付き上げるかＡＤＰであるかどちらもだ fact16: もし仮にあのギリシャ神話が懐こいとしたらそれはノンファセットだ fact17: もし「何かは柔くないがつれない」ということは嘘であるならハムスターだ
void -> assump1: 以下のように仮定する。この寄生は雑魚だ; fact7 & assump1 -> int1: あのギリシャ神話はＡＤＰである; int1 -> int2: あのギリシャ神話は付き上げるということはないかまたはＡＤＰだ; fact16 & fact13 -> int3: あのギリシャ神話はノンファセットである; fact14 & int3 -> int4: 「あのギリシャ神話は付き上げないかＡＤＰであるか両方だ」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この寄生は雑魚であるということはない; int6 & fact2 -> int7: 「そのマゾ女は柔くない一方でつれない」ということは成り立たない; fact17 -> int8: 「そのマゾ女は柔くないけれどつれない」ということは成り立たないとしたらそれはハムスターである; int7 & int8 -> hypothesis;
このバンキングはＡＤＰである
fact19 -> int9: 仮にこの寄生は付き上げるなら「それは雑魚でないかまたはそれはＡＤＰだ」ということは偽だ;
$facts$ = fact1: なにかは柔いとすると「それはハムスターである」ということは誤りでない fact2: もしこの寄生は雑魚でないとすると「そのマゾ女は柔くない一方でそれはつれない」ということは成り立たない fact3: 仮に雑魚はＡＤＰであるとしたらそれはハムスターでない fact4: もし仮に「この寄生は雑魚でないかまたはそれはＡＤＰであるか両方ともである」ということは偽であるならばこのバンキングはＡＤＰだ fact5: 「「そのマゾ女は柔いしかつつれない」ということは事実でない」ということは間違いでない fact6: もしこの寄生は雑魚でないなら「そのマゾ女は柔いし更につれない」ということは成り立たない fact7: この寄生が雑魚だとするとあのギリシャ神話はＡＤＰである fact8: もし仮にそのマゾ女が柔いとしたらそれはハムスターである fact9: もしあのギリシャ神話は柔くないならば「この寄生は付き上げないけれどつれない」ということは事実と異なる fact10: なんらかの物は付き上げれば「雑魚でないかＡＤＰであるかまたは両方ともだ」ということは成り立たない fact11: この寄生は付き上げるとすると「あのギリシャ神話は雑魚だ」ということは本当である fact12: 「この寄生は付き上げないけれどつれない」ということは間違いだとするとそのマゾ女は付き上げない fact13: あのギリシャ神話は懐こい fact14: もしもあのギリシャ神話はノンファセットであるとすれば「「それは付き上げないかあるいはＡＤＰであるかあるいはどちらもである」ということは確かである」ということは誤りである fact15: あのギリシャ神話は付き上げるかＡＤＰであるかどちらもだ fact16: もし仮にあのギリシャ神話が懐こいとしたらそれはノンファセットだ fact17: もし「何かは柔くないがつれない」ということは嘘であるならハムスターだ ; $hypothesis$ = 「そのマゾ女はハムスターでない」ということは本当だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この寄生は雑魚だ; fact7 & assump1 -> int1: あのギリシャ神話はＡＤＰである; int1 -> int2: あのギリシャ神話は付き上げるということはないかまたはＡＤＰだ; fact16 & fact13 -> int3: あのギリシャ神話はノンファセットである; fact14 & int3 -> int4: 「あのギリシャ神話は付き上げないかＡＤＰであるか両方だ」ということは誤っている; int2 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: この寄生は雑魚であるということはない; int6 & fact2 -> int7: 「そのマゾ女は柔くない一方でつれない」ということは成り立たない; fact17 -> int8: 「そのマゾ女は柔くないけれどつれない」ということは成り立たないとしたらそれはハムスターである; int7 & int8 -> hypothesis; __DISPROVED__
事実1: なにかは柔いとすると「それはハムスターである」ということは誤りでない
事実2: もしこの寄生は雑魚でないとすると「そのマゾ女は柔くない一方でそれはつれない」ということは成り立たない
事実3: 仮に雑魚はＡＤＰであるとしたらそれはハムスターでない
事実4: もし仮に「この寄生は雑魚でないかまたはそれはＡＤＰであるか両方ともである」ということは偽であるならばこのバンキングはＡＤＰだ
事実5: 「「そのマゾ女は柔いしかつつれない」ということは事実でない」ということは間違いでない
事実6: もしこの寄生は雑魚でないなら「そのマゾ女は柔いし更につれない」ということは成り立たない
事実7: この寄生が雑魚だとするとあのギリシャ神話はＡＤＰである
事実8: もし仮にそのマゾ女が柔いとしたらそれはハムスターである
事実9: もしあのギリシャ神話は柔くないならば「この寄生は付き上げないけれどつれない」ということは事実と異なる
事実10: なんらかの物は付き上げれば「雑魚でないかＡＤＰであるかまたは両方ともだ」ということは成り立たない
事実11: この寄生は付き上げるとすると「あのギリシャ神話は雑魚だ」ということは本当である
事実12: 「この寄生は付き上げないけれどつれない」ということは間違いだとするとそのマゾ女は付き上げない
事実13: あのギリシャ神話は懐こい
事実14: もしもあのギリシャ神話はノンファセットであるとすれば「「それは付き上げないかあるいはＡＤＰであるかあるいはどちらもである」ということは確かである」ということは誤りである
事実15: あのギリシャ神話は付き上げるかＡＤＰであるかどちらもだ
事実16: もし仮にあのギリシャ神話が懐こいとしたらそれはノンファセットだ
事実17: もし「何かは柔くないがつれない」ということは嘘であるならハムスターだ

仮説: 「そのマゾ女はハムスターでない」ということは本当だ
1. 仮定1: 以下のように仮定する。この寄生は雑魚だ
2. 事実7と仮定1から、推論1: "あのギリシャ神話はＡＤＰである"が導かれる
3. 推論1から、推論2: "あのギリシャ神話は付き上げるということはないかまたはＡＤＰだ"が導かれる
4. 事実16と事実13から、推論3: "あのギリシャ神話はノンファセットである"が導かれる
5. 事実14と推論3から、推論4: "「あのギリシャ神話は付き上げないかＡＤＰであるか両方だ」ということは誤っている"が導かれる
6. 推論2と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この寄生は雑魚であるということはない"が導かれる
8. 推論6と事実2から、推論7: "「そのマゾ女は柔くない一方でつれない」ということは成り立たない"が導かれる
9. 事実17から、推論8: "「そのマゾ女は柔くないけれどつれない」ということは成り立たないとしたらそれはハムスターである"が導かれる
10. 推論7と推論8から、仮説が否定される

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