この投資規模は買い易いということはない
fact1: 仮にこの通則法が乗り掛けるとすればあの投資規模は買い易い fact2: もしこの通則法が思い易いけれどメリット・デメリットでないとしたらこのＤＮＡ合成は乗り掛けない fact3: この通則法はムンチュするかもしくはそれは乗り掛ける fact4: 仮にこの通則法はムンチュするなら「この投資規模は買い易い」ということは成り立つ
fact3 & fact4 & fact1 -> hypothesis;
fact3 & fact4 & fact1 -> hypothesis;
「このＤＮＡ合成は買い易い」ということは本当である
$facts$ = fact1: 仮にこの通則法が乗り掛けるとすればあの投資規模は買い易い fact2: もしこの通則法が思い易いけれどメリット・デメリットでないとしたらこのＤＮＡ合成は乗り掛けない fact3: この通則法はムンチュするかもしくはそれは乗り掛ける fact4: 仮にこの通則法はムンチュするなら「この投資規模は買い易い」ということは成り立つ ; $hypothesis$ = この投資規模は買い易いということはない ; $proof$ = 
fact3 & fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にこの通則法が乗り掛けるとすればあの投資規模は買い易い
事実2: もしこの通則法が思い易いけれどメリット・デメリットでないとしたらこのＤＮＡ合成は乗り掛けない
事実3: この通則法はムンチュするかもしくはそれは乗り掛ける
事実4: 仮にこの通則法はムンチュするなら「この投資規模は買い易い」ということは成り立つ

仮説: この投資規模は買い易いということはない
1. 事実3と事実4と事実1から、仮説が否定される

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