「「もし移行し易いなら根治的腎摘出術であるということはないし加えて覚え難くない」物はある」ということは間違いである
fact1: もしある物が移行し易いとしたら覚え難くない fact2: 仮にある物が移行し易いとすれば根治的腎摘出術であるということはないしそれは覚え難くない fact3: 「もし栄螺であるとすれば支援すらなくてまた作り直す」ものはある fact4: 「取り扱い易いならば紙上でないけど飛球線後方である」物はある fact5: 「もしも食い荒らすとしたら行動観察であるけど数え歌であるということはない」物はある fact6: 「仮に大躍進なら気相だということはない」物はある
fact2 -> int1: この卵巣上皮が移行し易いならばそれは根治的腎摘出術でなくてその上覚え難いということはない; int1 -> hypothesis;
$facts$ = fact1: もしある物が移行し易いとしたら覚え難くない fact2: 仮にある物が移行し易いとすれば根治的腎摘出術であるということはないしそれは覚え難くない fact3: 「もし栄螺であるとすれば支援すらなくてまた作り直す」ものはある fact4: 「取り扱い易いならば紙上でないけど飛球線後方である」物はある fact5: 「もしも食い荒らすとしたら行動観察であるけど数え歌であるということはない」物はある fact6: 「仮に大躍進なら気相だということはない」物はある ; $hypothesis$ = 「「もし移行し易いなら根治的腎摘出術であるということはないし加えて覚え難くない」物はある」ということは間違いである ; $proof$ = 
fact2 -> int1: この卵巣上皮が移行し易いならばそれは根治的腎摘出術でなくてその上覚え難いということはない; int1 -> hypothesis; __DISPROVED__
事実1: もしある物が移行し易いとしたら覚え難くない
事実2: 仮にある物が移行し易いとすれば根治的腎摘出術であるということはないしそれは覚え難くない
事実3: 「もし栄螺であるとすれば支援すらなくてまた作り直す」ものはある
事実4: 「取り扱い易いならば紙上でないけど飛球線後方である」物はある
事実5: 「もしも食い荒らすとしたら行動観察であるけど数え歌であるということはない」物はある
事実6: 「仮に大躍進なら気相だということはない」物はある

仮説: 「「もし移行し易いなら根治的腎摘出術であるということはないし加えて覚え難くない」物はある」ということは間違いである
1. 事実2から、推論1: "この卵巣上皮が移行し易いならばそれは根治的腎摘出術でなくてその上覚え難いということはない"が導かれる
2. 推論1から、仮説が否定される

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