「「もしも過剰反応するが支配出来ないならば開発出来る」ものはある」ということは本当でない
fact1: もしとある物はアビューズであるけれどホワイトハウス入りしないとしたらそれは数値以外である fact2: 「もし仮に過剰反応するし支配出来るとすると開発出来る」ものはある fact3: 「仮に店舗販売だけれど加筆修正しないとしたら挙行する」物はある fact4: 「喫茶コーナーで踏み消さないとしたらシンメトリーな」ものはある fact5: 「もしシンボライズするしまた残り難いということはないとすれば生え易い」物はある fact6: 仮にあの計算機上が過剰反応するしかつそれが支配出来るとすればそれは開発出来る fact7: もしあの計算機上は過剰反応するけれど支配出来るということはないとしたら開発出来る
fact7 -> hypothesis;
その石碑はアビューズだがホワイトハウス入りしないとするとそれは数値以外だ
fact8 -> hypothesis;
$facts$ = fact1: もしとある物はアビューズであるけれどホワイトハウス入りしないとしたらそれは数値以外である fact2: 「もし仮に過剰反応するし支配出来るとすると開発出来る」ものはある fact3: 「仮に店舗販売だけれど加筆修正しないとしたら挙行する」物はある fact4: 「喫茶コーナーで踏み消さないとしたらシンメトリーな」ものはある fact5: 「もしシンボライズするしまた残り難いということはないとすれば生え易い」物はある fact6: 仮にあの計算機上が過剰反応するしかつそれが支配出来るとすればそれは開発出来る fact7: もしあの計算機上は過剰反応するけれど支配出来るということはないとしたら開発出来る ; $hypothesis$ = 「「もしも過剰反応するが支配出来ないならば開発出来る」ものはある」ということは本当でない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もしとある物はアビューズであるけれどホワイトハウス入りしないとしたらそれは数値以外である
事実2: 「もし仮に過剰反応するし支配出来るとすると開発出来る」ものはある
事実3: 「仮に店舗販売だけれど加筆修正しないとしたら挙行する」物はある
事実4: 「喫茶コーナーで踏み消さないとしたらシンメトリーな」ものはある
事実5: 「もしシンボライズするしまた残り難いということはないとすれば生え易い」物はある
事実6: 仮にあの計算機上が過剰反応するしかつそれが支配出来るとすればそれは開発出来る
事実7: もしあの計算機上は過剰反応するけれど支配出来るということはないとしたら開発出来る

仮説: 「「もしも過剰反応するが支配出来ないならば開発出来る」ものはある」ということは本当でない
1. 事実7から、仮説が否定される

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