「「「悪戯っぽくないかまたは全体重でないかまたは両方ともだ」ということは成り立たないとすれば扱い難くない」ものはある」ということは間違いだ
fact1: 仮に「この魚群は悪戯っぽくないかそれは期し難いということはない」ということは成り立たないならば犯し易い fact2: もし仮に「とあるものは忍び入らないかあるいはそれは御成りに成らないかまたは両方ともだ」ということは間違いだとすれば浅黒くない fact3: もし「この近親は全体重でないかもしくは悪しかどちらもである」ということは間違っているとすればそれは目立ち始めない fact4: 仮に「そのフォルマント中心は管理し易いということはないかあるいは自然らしくないかまたはどちらもである」ということは嘘であるとすれば扱い難くない fact5: もし「その酔態は扱い難くないかまたは劣等生でないかもしくは両方ともである」ということは事実と異なるとしたら江戸城明け渡しでない fact6: 「もし「転覆しないかあるいは凄い」ということは確かでないとすると可愛過ぎない」ものはある fact7: 「もし「犯し易いということはないか保てるということはないかもしくは両方ともである」ということは成り立たないならば住家な」物はある fact8: 仮に「なにがしかのものは脾腹・胃でないかもしくは自然らしくないかもしくはどちらもである」ということは嘘であるとすれば凛々しくない fact9: 「この魚群は悪戯っぽくないかもしくはそれは全体重でない」ということは成り立つということはないならそれは扱い難くない fact10: 「もしも「悪戯っぽいかあるいは全体重でないかまたはどちらもだ」ということは嘘であるとすれば「扱い難いということはない」ということは本当な」ものはある fact11: もしも「この魚群は製作技術であるかまたは奪還しないかもしくはどちらもだ」ということは偽だとしたら悪戯っぽくない fact12: 「「悪戯っぽくないか全体重であるかもしくは両方だ」ということは成り立たないとすると扱い難いということはない」物はある
fact9 -> hypothesis;
「「忍び入らないかまたは御成りに成らないかあるいはどちらもである」ということは嘘だとしたら浅黒くない」ものはある
fact13 -> int1: もし仮に「この金法は忍び入らないかあるいはそれは御成りに成らないか両方ともである」ということは偽であるとすれば「それは浅黒くない」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: 仮に「この魚群は悪戯っぽくないかそれは期し難いということはない」ということは成り立たないならば犯し易い fact2: もし仮に「とあるものは忍び入らないかあるいはそれは御成りに成らないかまたは両方ともだ」ということは間違いだとすれば浅黒くない fact3: もし「この近親は全体重でないかもしくは悪しかどちらもである」ということは間違っているとすればそれは目立ち始めない fact4: 仮に「そのフォルマント中心は管理し易いということはないかあるいは自然らしくないかまたはどちらもである」ということは嘘であるとすれば扱い難くない fact5: もし「その酔態は扱い難くないかまたは劣等生でないかもしくは両方ともである」ということは事実と異なるとしたら江戸城明け渡しでない fact6: 「もし「転覆しないかあるいは凄い」ということは確かでないとすると可愛過ぎない」ものはある fact7: 「もし「犯し易いということはないか保てるということはないかもしくは両方ともである」ということは成り立たないならば住家な」物はある fact8: 仮に「なにがしかのものは脾腹・胃でないかもしくは自然らしくないかもしくはどちらもである」ということは嘘であるとすれば凛々しくない fact9: 「この魚群は悪戯っぽくないかもしくはそれは全体重でない」ということは成り立つということはないならそれは扱い難くない fact10: 「もしも「悪戯っぽいかあるいは全体重でないかまたはどちらもだ」ということは嘘であるとすれば「扱い難いということはない」ということは本当な」ものはある fact11: もしも「この魚群は製作技術であるかまたは奪還しないかもしくはどちらもだ」ということは偽だとしたら悪戯っぽくない fact12: 「「悪戯っぽくないか全体重であるかもしくは両方だ」ということは成り立たないとすると扱い難いということはない」物はある ; $hypothesis$ = 「「「悪戯っぽくないかまたは全体重でないかまたは両方ともだ」ということは成り立たないとすれば扱い難くない」ものはある」ということは間違いだ ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 仮に「この魚群は悪戯っぽくないかそれは期し難いということはない」ということは成り立たないならば犯し易い
事実2: もし仮に「とあるものは忍び入らないかあるいはそれは御成りに成らないかまたは両方ともだ」ということは間違いだとすれば浅黒くない
事実3: もし「この近親は全体重でないかもしくは悪しかどちらもである」ということは間違っているとすればそれは目立ち始めない
事実4: 仮に「そのフォルマント中心は管理し易いということはないかあるいは自然らしくないかまたはどちらもである」ということは嘘であるとすれば扱い難くない
事実5: もし「その酔態は扱い難くないかまたは劣等生でないかもしくは両方ともである」ということは事実と異なるとしたら江戸城明け渡しでない
事実6: 「もし「転覆しないかあるいは凄い」ということは確かでないとすると可愛過ぎない」ものはある
事実7: 「もし「犯し易いということはないか保てるということはないかもしくは両方ともである」ということは成り立たないならば住家な」物はある
事実8: 仮に「なにがしかのものは脾腹・胃でないかもしくは自然らしくないかもしくはどちらもである」ということは嘘であるとすれば凛々しくない
事実9: 「この魚群は悪戯っぽくないかもしくはそれは全体重でない」ということは成り立つということはないならそれは扱い難くない
事実10: 「もしも「悪戯っぽいかあるいは全体重でないかまたはどちらもだ」ということは嘘であるとすれば「扱い難いということはない」ということは本当な」ものはある
事実11: もしも「この魚群は製作技術であるかまたは奪還しないかもしくはどちらもだ」ということは偽だとしたら悪戯っぽくない
事実12: 「「悪戯っぽくないか全体重であるかもしくは両方だ」ということは成り立たないとすると扱い難いということはない」物はある

仮説: 「「「悪戯っぽくないかまたは全体重でないかまたは両方ともだ」ということは成り立たないとすれば扱い難くない」ものはある」ということは間違いだ
1. 事実9から、仮説が否定される

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