「「「仮に叙任しないなら大勧進な」物はある」ということは成り立つ」ということは間違いである
fact1: 「もしも代用特性であるとすれば保育する」ものはある fact2: 仮にある物はフランス政治であるとすれば「湿っぽい」ということは本当だ fact3: もしなにがしかのものが叙任しないならそれは大勧進である
fact3 -> int1: もしこの事業推進が叙任するということはないならば大勧進だ; int1 -> hypothesis;
$facts$ = fact1: 「もしも代用特性であるとすれば保育する」ものはある fact2: 仮にある物はフランス政治であるとすれば「湿っぽい」ということは本当だ fact3: もしなにがしかのものが叙任しないならそれは大勧進である ; $hypothesis$ = 「「「仮に叙任しないなら大勧進な」物はある」ということは成り立つ」ということは間違いである ; $proof$ = 
fact3 -> int1: もしこの事業推進が叙任するということはないならば大勧進だ; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも代用特性であるとすれば保育する」ものはある
事実2: 仮にある物はフランス政治であるとすれば「湿っぽい」ということは本当だ
事実3: もしなにがしかのものが叙任しないならそれは大勧進である

仮説: 「「「仮に叙任しないなら大勧進な」物はある」ということは成り立つ」ということは間違いである
1. 事実3から、推論1: "もしこの事業推進が叙任するということはないならば大勧進だ"が導かれる
2. 推論1から、仮説が否定される

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