「「仮に「軍事裁判でないしおまけに接近し易くない」ということは誤りだとすると男っぽい」ものはある」ということは成り立たない
fact1: 「もしも「Ｃ分遣隊でないがしかし陰気臭い」ということは誤っているならめんどい」ものはある fact2: もし仮に「なんらかのものは軍事裁判でないしその上それは接近し易くない」ということは成り立たないとすると「それは男っぽい」ということは成り立つ fact3: 何らかのものが輸入するということはないしその上それがめんどいということはないとしたらそれは話し難い fact4: 「仮に「軍事裁判であるけれど接近し易くない」ということは成り立たないなら男っぽい」ものはある fact5: 「なにがしかのものは輩でなくて更にそれは如此しない」ということは偽ならば取れ難い fact6: 「もし仮に「あの受話器は軍事裁判でない一方で接近し易い」ということは間違いであるならあの受話器は男っぽい」ということは成り立つ fact7: 「「建築群でなくてその上女主人様である」ということは成り立たないとしたら「歩ける」ということは確かである」物はある fact8: もし仮に「このミルク色は共鳴し易くないしおまけに包括しない」ということは成り立たないとするとそれは男っぽい
fact2 -> int1: もし仮に「あの受話器は軍事裁判でないしさらに接近し易くない」ということは成り立たないならば男っぽい; int1 -> hypothesis;
仮に「あの受話器は輩でないしそれに如此しない」ということは成り立たないとしたら取れ難い
fact9 -> hypothesis;
$facts$ = fact1: 「もしも「Ｃ分遣隊でないがしかし陰気臭い」ということは誤っているならめんどい」ものはある fact2: もし仮に「なんらかのものは軍事裁判でないしその上それは接近し易くない」ということは成り立たないとすると「それは男っぽい」ということは成り立つ fact3: 何らかのものが輸入するということはないしその上それがめんどいということはないとしたらそれは話し難い fact4: 「仮に「軍事裁判であるけれど接近し易くない」ということは成り立たないなら男っぽい」ものはある fact5: 「なにがしかのものは輩でなくて更にそれは如此しない」ということは偽ならば取れ難い fact6: 「もし仮に「あの受話器は軍事裁判でない一方で接近し易い」ということは間違いであるならあの受話器は男っぽい」ということは成り立つ fact7: 「「建築群でなくてその上女主人様である」ということは成り立たないとしたら「歩ける」ということは確かである」物はある fact8: もし仮に「このミルク色は共鳴し易くないしおまけに包括しない」ということは成り立たないとするとそれは男っぽい ; $hypothesis$ = 「「仮に「軍事裁判でないしおまけに接近し易くない」ということは誤りだとすると男っぽい」ものはある」ということは成り立たない ; $proof$ = 
fact2 -> int1: もし仮に「あの受話器は軍事裁判でないしさらに接近し易くない」ということは成り立たないならば男っぽい; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「Ｃ分遣隊でないがしかし陰気臭い」ということは誤っているならめんどい」ものはある
事実2: もし仮に「なんらかのものは軍事裁判でないしその上それは接近し易くない」ということは成り立たないとすると「それは男っぽい」ということは成り立つ
事実3: 何らかのものが輸入するということはないしその上それがめんどいということはないとしたらそれは話し難い
事実4: 「仮に「軍事裁判であるけれど接近し易くない」ということは成り立たないなら男っぽい」ものはある
事実5: 「なにがしかのものは輩でなくて更にそれは如此しない」ということは偽ならば取れ難い
事実6: 「もし仮に「あの受話器は軍事裁判でない一方で接近し易い」ということは間違いであるならあの受話器は男っぽい」ということは成り立つ
事実7: 「「建築群でなくてその上女主人様である」ということは成り立たないとしたら「歩ける」ということは確かである」物はある
事実8: もし仮に「このミルク色は共鳴し易くないしおまけに包括しない」ということは成り立たないとするとそれは男っぽい

仮説: 「「仮に「軍事裁判でないしおまけに接近し易くない」ということは誤りだとすると男っぽい」ものはある」ということは成り立たない
1. 事実2から、推論1: "もし仮に「あの受話器は軍事裁判でないしさらに接近し易くない」ということは成り立たないならば男っぽい"が導かれる
2. 推論1から、仮説が否定される

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