「「離れ始めるということはないとしたら使用パーツであるししかも破り捨てない」ものはある」ということは誤りだ
fact1: 「もしも「離れ始めない」ということは成り立つとすれば使用パーツでしかも破り捨てる」ものはある fact2: もし仮にある物が離れ始めるということはないならば使用パーツであるし更にそれは破り捨てない fact3: 「もしも離れ始めるということはないとすると破り捨てない」ものはある fact4: 「もしもエポキシ系ボンドでないなら絞り取る」ものはある fact5: もしもその丸大豆が離れ始めないとすればそれは使用パーツでそれは破り捨てる
fact2 -> int1: もしその丸大豆が離れ始めないとするとそれは使用パーツだけれど破り捨てない; int1 -> hypothesis;
$facts$ = fact1: 「もしも「離れ始めない」ということは成り立つとすれば使用パーツでしかも破り捨てる」ものはある fact2: もし仮にある物が離れ始めるということはないならば使用パーツであるし更にそれは破り捨てない fact3: 「もしも離れ始めるということはないとすると破り捨てない」ものはある fact4: 「もしもエポキシ系ボンドでないなら絞り取る」ものはある fact5: もしもその丸大豆が離れ始めないとすればそれは使用パーツでそれは破り捨てる ; $hypothesis$ = 「「離れ始めるということはないとしたら使用パーツであるししかも破り捨てない」ものはある」ということは誤りだ ; $proof$ = 
fact2 -> int1: もしその丸大豆が離れ始めないとするとそれは使用パーツだけれど破り捨てない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも「離れ始めない」ということは成り立つとすれば使用パーツでしかも破り捨てる」ものはある
事実2: もし仮にある物が離れ始めるということはないならば使用パーツであるし更にそれは破り捨てない
事実3: 「もしも離れ始めるということはないとすると破り捨てない」ものはある
事実4: 「もしもエポキシ系ボンドでないなら絞り取る」ものはある
事実5: もしもその丸大豆が離れ始めないとすればそれは使用パーツでそれは破り捨てる

仮説: 「「離れ始めるということはないとしたら使用パーツであるししかも破り捨てない」ものはある」ということは誤りだ
1. 事実2から、推論1: "もしその丸大豆が離れ始めないとするとそれは使用パーツだけれど破り捨てない"が導かれる
2. 推論1から、仮説が否定される

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