「「もしも「全車だということはなくてかつ服役しない」ということは間違っていればもどかしい」ものはある」ということは成り立たない
fact1: 「もしも全車でなくてしかも服役しないなら「もどかしい」ということは偽でない」ものはある fact2: 仮になんらかのものが全車でなくてそれが服役しないならもどかしい fact3: もし仮になにかは服役すればもどかしい fact4: 「仮に「三泊するということはないし壊れ易くない」ということは誤りであるとすると備え置く」ものはある fact5: 「仮に「全車だ一方で服役するということはない」ということは成り立たないとするともどかしい」ものはある fact6: 「「労わらなくて精進料理でない」ということは成り立つということはないならば遅し」ものはある fact7: もし「その蝦狄はむさくるしくなくて改革するということはない」ということは事実と異なれば拝命する fact8: 仮に「「何らかの物は話し難くないしかつ支障無くない」ということは正しい」ということは嘘だとすると珍しい fact9: 「もし仮に「その蝦狄は服役しなくて根深くない」ということは確かでないとしたら「その蝦狄は猛々しい」ということは本当だ」ということは間違っていない fact10: 「その蝦狄は服役する」ということは偽でないならばもどかしい fact11: 「もし仮に「地位達成でないしまた想定し難いということはない」ということは正しくないとすれば立ち行く」物はある fact12: 「仮に服役するならもどかしい」物はある fact13: もしも「その蝦狄は全車だがしかし服役しない」ということは間違っているならそれはもどかしい fact14: 「なんらかの物は全車であるけど服役しない」ということは成り立つということはないならそれはもどかしい fact15: もしも「その蝦狄は全車であるということはないしかつそれは服役するということはない」ということは確かだとしたらもどかしい fact16: 「なにかは全車でなくてその上服役しない」ということは誤っているとしたらもどかしい
fact16 -> int1: もし「「その蝦狄は全車でないしおまけにそれは服役しない」ということは事実だ」ということは偽だとするとそれはもどかしい; int1 -> hypothesis;
$facts$ = fact1: 「もしも全車でなくてしかも服役しないなら「もどかしい」ということは偽でない」ものはある fact2: 仮になんらかのものが全車でなくてそれが服役しないならもどかしい fact3: もし仮になにかは服役すればもどかしい fact4: 「仮に「三泊するということはないし壊れ易くない」ということは誤りであるとすると備え置く」ものはある fact5: 「仮に「全車だ一方で服役するということはない」ということは成り立たないとするともどかしい」ものはある fact6: 「「労わらなくて精進料理でない」ということは成り立つということはないならば遅し」ものはある fact7: もし「その蝦狄はむさくるしくなくて改革するということはない」ということは事実と異なれば拝命する fact8: 仮に「「何らかの物は話し難くないしかつ支障無くない」ということは正しい」ということは嘘だとすると珍しい fact9: 「もし仮に「その蝦狄は服役しなくて根深くない」ということは確かでないとしたら「その蝦狄は猛々しい」ということは本当だ」ということは間違っていない fact10: 「その蝦狄は服役する」ということは偽でないならばもどかしい fact11: 「もし仮に「地位達成でないしまた想定し難いということはない」ということは正しくないとすれば立ち行く」物はある fact12: 「仮に服役するならもどかしい」物はある fact13: もしも「その蝦狄は全車だがしかし服役しない」ということは間違っているならそれはもどかしい fact14: 「なんらかの物は全車であるけど服役しない」ということは成り立つということはないならそれはもどかしい fact15: もしも「その蝦狄は全車であるということはないしかつそれは服役するということはない」ということは確かだとしたらもどかしい fact16: 「なにかは全車でなくてその上服役しない」ということは誤っているとしたらもどかしい ; $hypothesis$ = 「「もしも「全車だということはなくてかつ服役しない」ということは間違っていればもどかしい」ものはある」ということは成り立たない ; $proof$ = 
fact16 -> int1: もし「「その蝦狄は全車でないしおまけにそれは服役しない」ということは事実だ」ということは偽だとするとそれはもどかしい; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも全車でなくてしかも服役しないなら「もどかしい」ということは偽でない」ものはある
事実2: 仮になんらかのものが全車でなくてそれが服役しないならもどかしい
事実3: もし仮になにかは服役すればもどかしい
事実4: 「仮に「三泊するということはないし壊れ易くない」ということは誤りであるとすると備え置く」ものはある
事実5: 「仮に「全車だ一方で服役するということはない」ということは成り立たないとするともどかしい」ものはある
事実6: 「「労わらなくて精進料理でない」ということは成り立つということはないならば遅し」ものはある
事実7: もし「その蝦狄はむさくるしくなくて改革するということはない」ということは事実と異なれば拝命する
事実8: 仮に「「何らかの物は話し難くないしかつ支障無くない」ということは正しい」ということは嘘だとすると珍しい
事実9: 「もし仮に「その蝦狄は服役しなくて根深くない」ということは確かでないとしたら「その蝦狄は猛々しい」ということは本当だ」ということは間違っていない
事実10: 「その蝦狄は服役する」ということは偽でないならばもどかしい
事実11: 「もし仮に「地位達成でないしまた想定し難いということはない」ということは正しくないとすれば立ち行く」物はある
事実12: 「仮に服役するならもどかしい」物はある
事実13: もしも「その蝦狄は全車だがしかし服役しない」ということは間違っているならそれはもどかしい
事実14: 「なんらかの物は全車であるけど服役しない」ということは成り立つということはないならそれはもどかしい
事実15: もしも「その蝦狄は全車であるということはないしかつそれは服役するということはない」ということは確かだとしたらもどかしい
事実16: 「なにかは全車でなくてその上服役しない」ということは誤っているとしたらもどかしい

仮説: 「「もしも「全車だということはなくてかつ服役しない」ということは間違っていればもどかしい」ものはある」ということは成り立たない
1. 事実16から、推論1: "もし「「その蝦狄は全車でないしおまけにそれは服役しない」ということは事実だ」ということは偽だとするとそれはもどかしい"が導かれる
2. 推論1から、仮説が否定される

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