「「修復出来ないとすればシールド地中接合であるし滑り落とす」ものはある」ということは嘘である
fact1: もしその耐海水性が漕ぎ着けないとするとそれはシールド地中接合でそれに可笑しい fact2: もしあるものが湧き出さないとすると選択し易くて更にそれは避妊する fact3: その耐海水性が修復出来ないとすれば滑り落とす fact4: もしもなんらかのものが修復出来ないとしたらシールド地中接合で滑り落とす
fact4 -> int1: もし仮にその耐海水性が修復出来ないとすればそれがシールド地中接合だし滑り落とす; int1 -> hypothesis;
「もし湧き出さないなら選択し易いしまた避妊する」物はある
fact5 -> int2: もしもあの表現活動が湧き出さないならば選択し易いししかも避妊する; int2 -> hypothesis;
$facts$ = fact1: もしその耐海水性が漕ぎ着けないとするとそれはシールド地中接合でそれに可笑しい fact2: もしあるものが湧き出さないとすると選択し易くて更にそれは避妊する fact3: その耐海水性が修復出来ないとすれば滑り落とす fact4: もしもなんらかのものが修復出来ないとしたらシールド地中接合で滑り落とす ; $hypothesis$ = 「「修復出来ないとすればシールド地中接合であるし滑り落とす」ものはある」ということは嘘である ; $proof$ = 
fact4 -> int1: もし仮にその耐海水性が修復出来ないとすればそれがシールド地中接合だし滑り落とす; int1 -> hypothesis; __DISPROVED__
事実1: もしその耐海水性が漕ぎ着けないとするとそれはシールド地中接合でそれに可笑しい
事実2: もしあるものが湧き出さないとすると選択し易くて更にそれは避妊する
事実3: その耐海水性が修復出来ないとすれば滑り落とす
事実4: もしもなんらかのものが修復出来ないとしたらシールド地中接合で滑り落とす

仮説: 「「修復出来ないとすればシールド地中接合であるし滑り落とす」ものはある」ということは嘘である
1. 事実4から、推論1: "もし仮にその耐海水性が修復出来ないとすればそれがシールド地中接合だし滑り落とす"が導かれる
2. 推論1から、仮説が否定される

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