「あのＡ嬢は苦しむけど住所不定でない」ということは誤っている
fact1: 「「その第四打席はステンレスでその上御試し下さる」ということは偽だ」ということは正しい fact2: 仮にその浮遊物が取り返さないとすればあのＤＡは技術職員数値でなくて商品選択であるということはない fact3: もし仮になにがしかのものは取り返さないとすると「それは技術職員数値でなくて更にそれは商品選択である」ということは事実と異なる fact4: ブラバスらしくない物は苦しむ一方で崩し易くない fact5: もしその第四打席は商品選択でないとすれば「そのＤＡは技術職員数値でなくてそれは商品選択でない」ということは間違いである fact6: もし仮に「そのＤＡは取り返すということはないけれど把握し難い」ということは正しくないとすればそれは住所不定だ fact7: 仮にその浮遊物が取り返さないとすればあのＤＡは商品選択でない fact8: 「ステンレスであるしその上御試し下さる」ものはある fact9: もし仮にステンレスが御試し下さらないとしたらあの出撃はブラバスらしくない fact10: 何らかの物は御試し下さらない fact11: その浮遊物は取り返さない fact12: あのＡ嬢は苦しむ fact13: もし仮にあの出撃がブラバスらしいということはないとするとあのＡ嬢は苦しむけど住所不定でない fact14: もしもとあるものはブラバスらしいとすれば「苦しむし更にそれは住所不定でない」ということは成り立たない fact15: そのＤＡは水臭くないとすれば「それは取り返さないしそれは把握し難い」ということは嘘だ fact16: 「ある物は技術職員数値でないけれど商品選択だ」ということは事実でないとすればブラバスらしい fact17: もし仮に「「何かはステンレスだけれどそれは御試し下さるということはない」ということは成り立つ」ということは成り立たないならばそれは商品選択でない fact18: そのＤＡは商品選択でない fact19: 「あのＡ嬢は苦しまないし加えて取り返さない」ということは間違いである
fact17 -> int1: 「「その第四打席はステンレスであるが御試し下さらない」ということは成り立つ」ということは成り立たないならばそれは商品選択でない; void -> assump1: 以下のように仮定する。「その第四打席はステンレスである一方で御試し下さらない」ということは成り立たない; int1 & assump1 -> int2: その第四打席は商品選択でない; int2 & fact5 -> int3: 「そのＤＡは技術職員数値でなくて商品選択でない」ということは成り立たない; fact11 & fact2 -> int4: そのＤＡは技術職員数値でないししかも商品選択でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その第四打席はステンレスであるが御試し下さらない; int6 -> int7: 「ステンレスであるけれど御試し下さらない」ものはある; int7 & fact9 -> int8: あの出撃はブラバスらしいということはない; int8 & fact13 -> hypothesis;
「あのＡ嬢は苦しむがしかし住所不定であるということはない」ということは成り立たない
fact20 -> int9: もしもあのＡ嬢はブラバスらしいなら「苦しむけれど住所不定でない」ということは嘘である; fact21 -> int10: もし「あのＡ嬢は技術職員数値でないが商品選択である」ということは成り立たないとすればブラバスらしい; fact22 -> int11: もし仮にあのＡ嬢は取り返さないなら「それは技術職員数値でないけれど商品選択である」ということは嘘だ;
$facts$ = fact1: 「「その第四打席はステンレスでその上御試し下さる」ということは偽だ」ということは正しい fact2: 仮にその浮遊物が取り返さないとすればあのＤＡは技術職員数値でなくて商品選択であるということはない fact3: もし仮になにがしかのものは取り返さないとすると「それは技術職員数値でなくて更にそれは商品選択である」ということは事実と異なる fact4: ブラバスらしくない物は苦しむ一方で崩し易くない fact5: もしその第四打席は商品選択でないとすれば「そのＤＡは技術職員数値でなくてそれは商品選択でない」ということは間違いである fact6: もし仮に「そのＤＡは取り返すということはないけれど把握し難い」ということは正しくないとすればそれは住所不定だ fact7: 仮にその浮遊物が取り返さないとすればあのＤＡは商品選択でない fact8: 「ステンレスであるしその上御試し下さる」ものはある fact9: もし仮にステンレスが御試し下さらないとしたらあの出撃はブラバスらしくない fact10: 何らかの物は御試し下さらない fact11: その浮遊物は取り返さない fact12: あのＡ嬢は苦しむ fact13: もし仮にあの出撃がブラバスらしいということはないとするとあのＡ嬢は苦しむけど住所不定でない fact14: もしもとあるものはブラバスらしいとすれば「苦しむし更にそれは住所不定でない」ということは成り立たない fact15: そのＤＡは水臭くないとすれば「それは取り返さないしそれは把握し難い」ということは嘘だ fact16: 「ある物は技術職員数値でないけれど商品選択だ」ということは事実でないとすればブラバスらしい fact17: もし仮に「「何かはステンレスだけれどそれは御試し下さるということはない」ということは成り立つ」ということは成り立たないならばそれは商品選択でない fact18: そのＤＡは商品選択でない fact19: 「あのＡ嬢は苦しまないし加えて取り返さない」ということは間違いである ; $hypothesis$ = 「あのＡ嬢は苦しむけど住所不定でない」ということは誤っている ; $proof$ = 
fact17 -> int1: 「「その第四打席はステンレスであるが御試し下さらない」ということは成り立つ」ということは成り立たないならばそれは商品選択でない; void -> assump1: 以下のように仮定する。「その第四打席はステンレスである一方で御試し下さらない」ということは成り立たない; int1 & assump1 -> int2: その第四打席は商品選択でない; int2 & fact5 -> int3: 「そのＤＡは技術職員数値でなくて商品選択でない」ということは成り立たない; fact11 & fact2 -> int4: そのＤＡは技術職員数値でないししかも商品選択でない; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: その第四打席はステンレスであるが御試し下さらない; int6 -> int7: 「ステンレスであるけれど御試し下さらない」ものはある; int7 & fact9 -> int8: あの出撃はブラバスらしいということはない; int8 & fact13 -> hypothesis; __DISPROVED__
事実1: 「「その第四打席はステンレスでその上御試し下さる」ということは偽だ」ということは正しい
事実2: 仮にその浮遊物が取り返さないとすればあのＤＡは技術職員数値でなくて商品選択であるということはない
事実3: もし仮になにがしかのものは取り返さないとすると「それは技術職員数値でなくて更にそれは商品選択である」ということは事実と異なる
事実4: ブラバスらしくない物は苦しむ一方で崩し易くない
事実5: もしその第四打席は商品選択でないとすれば「そのＤＡは技術職員数値でなくてそれは商品選択でない」ということは間違いである
事実6: もし仮に「そのＤＡは取り返すということはないけれど把握し難い」ということは正しくないとすればそれは住所不定だ
事実7: 仮にその浮遊物が取り返さないとすればあのＤＡは商品選択でない
事実8: 「ステンレスであるしその上御試し下さる」ものはある
事実9: もし仮にステンレスが御試し下さらないとしたらあの出撃はブラバスらしくない
事実10: 何らかの物は御試し下さらない
事実11: その浮遊物は取り返さない
事実12: あのＡ嬢は苦しむ
事実13: もし仮にあの出撃がブラバスらしいということはないとするとあのＡ嬢は苦しむけど住所不定でない
事実14: もしもとあるものはブラバスらしいとすれば「苦しむし更にそれは住所不定でない」ということは成り立たない
事実15: そのＤＡは水臭くないとすれば「それは取り返さないしそれは把握し難い」ということは嘘だ
事実16: 「ある物は技術職員数値でないけれど商品選択だ」ということは事実でないとすればブラバスらしい
事実17: もし仮に「「何かはステンレスだけれどそれは御試し下さるということはない」ということは成り立つ」ということは成り立たないならばそれは商品選択でない
事実18: そのＤＡは商品選択でない
事実19: 「あのＡ嬢は苦しまないし加えて取り返さない」ということは間違いである

仮説: 「あのＡ嬢は苦しむけど住所不定でない」ということは誤っている
1. 事実17から、推論1: "「「その第四打席はステンレスであるが御試し下さらない」ということは成り立つ」ということは成り立たないならばそれは商品選択でない"が導かれる
2. 仮定1: 以下のように仮定する。「その第四打席はステンレスである一方で御試し下さらない」ということは成り立たない
3. 推論1と仮定1から、推論2: "その第四打席は商品選択でない"が導かれる
4. 推論2と事実5から、推論3: "「そのＤＡは技術職員数値でなくて商品選択でない」ということは成り立たない"が導かれる
5. 事実11と事実2から、推論4: "そのＤＡは技術職員数値でないししかも商品選択でない"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その第四打席はステンレスであるが御試し下さらない"が導かれる
8. 推論6から、推論7: "「ステンレスであるけれど御試し下さらない」ものはある"が導かれる
9. 推論7と事実9から、推論8: "あの出撃はブラバスらしいということはない"が導かれる
10. 推論8と事実13から、仮説が否定される

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