「「アメリカっぽいということはないとすれば「ヘテロダイン干渉計でなくてその上消化し難くない」ということは間違っている」物はある」ということは成り立たない
fact1: 何らかのものは流域内でないならば「営業するしそれにデ椅子だということはない」ということは成り立たない fact2: 仮にあの用言文節はアメリカっぽいということはないとすれば「それはヘテロダイン干渉計でないがしかし消化し難い」ということは本当でない fact3: 仮にあの用言文節がアメリカっぽくないならばヘテロダイン干渉計でなくて消化し難くない fact4: アメリカっぽいということはないものはヘテロダイン干渉計でなくて消化し難くない fact5: 「もしも論破しないとしたら「Ｍ―θ履歴でないしまた錆無くない」ということは間違いである」物はある fact6: 「「アメリカっぽくない」ということは成り立つとすれば「ヘテロダイン干渉計であるがしかし消化し難くない」ということは真実でない」ものはある fact7: 「仮にアメリカっぽいならば「ヘテロダイン干渉計でないし消化し難いということはない」ということは誤っている」物はある fact8: 「アメリカっぽくないとしたらヘテロダイン干渉計でなくてそれに消化し難くない」物はある fact9: もしなにがしかの物はアメリカっぽくないとすれば「ヘテロダイン干渉計でない一方で消化し難い」ということは成り立たない fact10: もしあるものはアメリカっぽくないならば「それはヘテロダイン干渉計でないしさらにそれは消化し難くない」ということは成り立つということはない fact11: もしあの用言文節はアメリカっぽいならば「ヘテロダイン干渉計でなくてまた消化し難いということはない」ということは嘘だ fact12: もし仮にその海苔は関東Ｇ組でないとしたら「それは消化し難くないしその上買わさない」ということは事実と異なる fact13: 「仮にアメリカっぽくないならば「ヘテロダイン干渉計でないししかも消化し難い」ということは間違っている」ものはある fact14: 仮になんらかの物はアメリカっぽくないとすると「ヘテロダイン干渉計で更にそれは消化し難くない」ということは嘘である fact15: もしも「あの用言文節はアメリカっぽいということはない」ということは偽でないならば「それがヘテロダイン干渉計だしそれに消化し難くない」ということは間違っている fact16: もしもなんらかの物はアメリカっぽいとしたら「ヘテロダイン干渉計でなくて消化し難くない」ということは偽である
fact10 -> int1: もし仮に「あの用言文節はアメリカっぽくない」ということは確かであるならば「ヘテロダイン干渉計でないしそれに消化し難くない」ということは成り立つということはない; int1 -> hypothesis;
$facts$ = fact1: 何らかのものは流域内でないならば「営業するしそれにデ椅子だということはない」ということは成り立たない fact2: 仮にあの用言文節はアメリカっぽいということはないとすれば「それはヘテロダイン干渉計でないがしかし消化し難い」ということは本当でない fact3: 仮にあの用言文節がアメリカっぽくないならばヘテロダイン干渉計でなくて消化し難くない fact4: アメリカっぽいということはないものはヘテロダイン干渉計でなくて消化し難くない fact5: 「もしも論破しないとしたら「Ｍ―θ履歴でないしまた錆無くない」ということは間違いである」物はある fact6: 「「アメリカっぽくない」ということは成り立つとすれば「ヘテロダイン干渉計であるがしかし消化し難くない」ということは真実でない」ものはある fact7: 「仮にアメリカっぽいならば「ヘテロダイン干渉計でないし消化し難いということはない」ということは誤っている」物はある fact8: 「アメリカっぽくないとしたらヘテロダイン干渉計でなくてそれに消化し難くない」物はある fact9: もしなにがしかの物はアメリカっぽくないとすれば「ヘテロダイン干渉計でない一方で消化し難い」ということは成り立たない fact10: もしあるものはアメリカっぽくないならば「それはヘテロダイン干渉計でないしさらにそれは消化し難くない」ということは成り立つということはない fact11: もしあの用言文節はアメリカっぽいならば「ヘテロダイン干渉計でなくてまた消化し難いということはない」ということは嘘だ fact12: もし仮にその海苔は関東Ｇ組でないとしたら「それは消化し難くないしその上買わさない」ということは事実と異なる fact13: 「仮にアメリカっぽくないならば「ヘテロダイン干渉計でないししかも消化し難い」ということは間違っている」ものはある fact14: 仮になんらかの物はアメリカっぽくないとすると「ヘテロダイン干渉計で更にそれは消化し難くない」ということは嘘である fact15: もしも「あの用言文節はアメリカっぽいということはない」ということは偽でないならば「それがヘテロダイン干渉計だしそれに消化し難くない」ということは間違っている fact16: もしもなんらかの物はアメリカっぽいとしたら「ヘテロダイン干渉計でなくて消化し難くない」ということは偽である ; $hypothesis$ = 「「アメリカっぽいということはないとすれば「ヘテロダイン干渉計でなくてその上消化し難くない」ということは間違っている」物はある」ということは成り立たない ; $proof$ = 
fact10 -> int1: もし仮に「あの用言文節はアメリカっぽくない」ということは確かであるならば「ヘテロダイン干渉計でないしそれに消化し難くない」ということは成り立つということはない; int1 -> hypothesis; __DISPROVED__
事実1: 何らかのものは流域内でないならば「営業するしそれにデ椅子だということはない」ということは成り立たない
事実2: 仮にあの用言文節はアメリカっぽいということはないとすれば「それはヘテロダイン干渉計でないがしかし消化し難い」ということは本当でない
事実3: 仮にあの用言文節がアメリカっぽくないならばヘテロダイン干渉計でなくて消化し難くない
事実4: アメリカっぽいということはないものはヘテロダイン干渉計でなくて消化し難くない
事実5: 「もしも論破しないとしたら「Ｍ―θ履歴でないしまた錆無くない」ということは間違いである」物はある
事実6: 「「アメリカっぽくない」ということは成り立つとすれば「ヘテロダイン干渉計であるがしかし消化し難くない」ということは真実でない」ものはある
事実7: 「仮にアメリカっぽいならば「ヘテロダイン干渉計でないし消化し難いということはない」ということは誤っている」物はある
事実8: 「アメリカっぽくないとしたらヘテロダイン干渉計でなくてそれに消化し難くない」物はある
事実9: もしなにがしかの物はアメリカっぽくないとすれば「ヘテロダイン干渉計でない一方で消化し難い」ということは成り立たない
事実10: もしあるものはアメリカっぽくないならば「それはヘテロダイン干渉計でないしさらにそれは消化し難くない」ということは成り立つということはない
事実11: もしあの用言文節はアメリカっぽいならば「ヘテロダイン干渉計でなくてまた消化し難いということはない」ということは嘘だ
事実12: もし仮にその海苔は関東Ｇ組でないとしたら「それは消化し難くないしその上買わさない」ということは事実と異なる
事実13: 「仮にアメリカっぽくないならば「ヘテロダイン干渉計でないししかも消化し難い」ということは間違っている」ものはある
事実14: 仮になんらかの物はアメリカっぽくないとすると「ヘテロダイン干渉計で更にそれは消化し難くない」ということは嘘である
事実15: もしも「あの用言文節はアメリカっぽいということはない」ということは偽でないならば「それがヘテロダイン干渉計だしそれに消化し難くない」ということは間違っている
事実16: もしもなんらかの物はアメリカっぽいとしたら「ヘテロダイン干渉計でなくて消化し難くない」ということは偽である

仮説: 「「アメリカっぽいということはないとすれば「ヘテロダイン干渉計でなくてその上消化し難くない」ということは間違っている」物はある」ということは成り立たない
1. 事実10から、推論1: "もし仮に「あの用言文節はアメリカっぽくない」ということは確かであるならば「ヘテロダイン干渉計でないしそれに消化し難くない」ということは成り立つということはない"が導かれる
2. 推論1から、仮説が否定される

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