「「もし言い返せないとしたら作業能率でなくてかつ遣る」物はある」ということは成り立たない
fact1: なんらかの物が言い返せないならそれは作業能率でないしかつそれは遣る fact2: 「仮に併存しないなら空力である」ものはある fact3: 「その先物為替は言い返せない」ということは事実であるとすると作業能率でまた遣る fact4: 「もし「飽きっぽくない」ということは成り立つなら生産協同組合だしまた顕在化し易い」ものはある fact5: もしその先物為替が言い返せるとすれば飲み慣れないが勝ち易い fact6: 「仮に最終段階でないならば蹴立てない一方で共同設置する」物はある fact7: 「もし顕在化し易いということはないとすると厳めしいしまた造立する」ものはある fact8: もし「あのカロリーベースは作業能率でない」ということは真実ならそれは脱ぎ始める fact9: もしもなんらかのものが滅菌しないなら取り除き過ぎないがしかし小気味良い fact10: 「言い返せないなら作業能率だということはない」物はある
fact1 -> int1: その先物為替が言い返せないならば作業能率だということはないしおまけにそれは遣る; int1 -> hypothesis;
「もし仮に「滅菌しない」ということは成り立てば「取り除き過ぎなくておまけに小気味良い」ということは成り立つ」ものはある
fact11 -> int2: もしこの礼儀作法が滅菌しないとすればそれは取り除き過ぎるということはないが小気味良い; int2 -> hypothesis;
$facts$ = fact1: なんらかの物が言い返せないならそれは作業能率でないしかつそれは遣る fact2: 「仮に併存しないなら空力である」ものはある fact3: 「その先物為替は言い返せない」ということは事実であるとすると作業能率でまた遣る fact4: 「もし「飽きっぽくない」ということは成り立つなら生産協同組合だしまた顕在化し易い」ものはある fact5: もしその先物為替が言い返せるとすれば飲み慣れないが勝ち易い fact6: 「仮に最終段階でないならば蹴立てない一方で共同設置する」物はある fact7: 「もし顕在化し易いということはないとすると厳めしいしまた造立する」ものはある fact8: もし「あのカロリーベースは作業能率でない」ということは真実ならそれは脱ぎ始める fact9: もしもなんらかのものが滅菌しないなら取り除き過ぎないがしかし小気味良い fact10: 「言い返せないなら作業能率だということはない」物はある ; $hypothesis$ = 「「もし言い返せないとしたら作業能率でなくてかつ遣る」物はある」ということは成り立たない ; $proof$ = 
fact1 -> int1: その先物為替が言い返せないならば作業能率だということはないしおまけにそれは遣る; int1 -> hypothesis; __DISPROVED__
事実1: なんらかの物が言い返せないならそれは作業能率でないしかつそれは遣る
事実2: 「仮に併存しないなら空力である」ものはある
事実3: 「その先物為替は言い返せない」ということは事実であるとすると作業能率でまた遣る
事実4: 「もし「飽きっぽくない」ということは成り立つなら生産協同組合だしまた顕在化し易い」ものはある
事実5: もしその先物為替が言い返せるとすれば飲み慣れないが勝ち易い
事実6: 「仮に最終段階でないならば蹴立てない一方で共同設置する」物はある
事実7: 「もし顕在化し易いということはないとすると厳めしいしまた造立する」ものはある
事実8: もし「あのカロリーベースは作業能率でない」ということは真実ならそれは脱ぎ始める
事実9: もしもなんらかのものが滅菌しないなら取り除き過ぎないがしかし小気味良い
事実10: 「言い返せないなら作業能率だということはない」物はある

仮説: 「「もし言い返せないとしたら作業能率でなくてかつ遣る」物はある」ということは成り立たない
1. 事実1から、推論1: "その先物為替が言い返せないならば作業能率だということはないしおまけにそれは遣る"が導かれる
2. 推論1から、仮説が否定される

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