「「もし通し入れないなら書法でない」物はある」ということは成り立たない
fact1: もし仮にその書架が通し入れないとすればそれは書法である fact2: 「もしも激しいということはないとすれば甘過ぎる」ものはある fact3: 「もし通し入れれば書法でない」ものはある fact4: 「「待ち切れる」ということは成り立つとしたら角鰈でない」物はある fact5: もしもその書架が通し入れないとすると書法であるということはない fact6: もしもその書架は業火でないとすると結び付き難くない fact7: なんらかのものは憤死しないなら「それは惨たらしい」ということは間違っている fact8: もし仮に「その書架は五千万人でない」ということは成り立つとしたら書法だ fact9: 「仮に「膨大である」ということは成り立つとすれば涙脆くない」ものはある fact10: その書架が通し入れればそれは書法でない fact11: もし仮に何らかの物は周旋であるということはないとすると「それはサブレポートであるということはない」ということは事実だ fact12: 「もし通し入れるということはないとすれば書法な」物はある fact13: もし仮にその大逆事件が書法でないとすればそれはテンパイしない
fact5 -> hypothesis;
fact5 -> hypothesis;
「もし仮に周旋でないとすればサブレポートでない」ものはある
fact14 -> int1: もしそのＵＺＩは周旋でないとすれば「サブレポートでない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: もし仮にその書架が通し入れないとすればそれは書法である fact2: 「もしも激しいということはないとすれば甘過ぎる」ものはある fact3: 「もし通し入れれば書法でない」ものはある fact4: 「「待ち切れる」ということは成り立つとしたら角鰈でない」物はある fact5: もしもその書架が通し入れないとすると書法であるということはない fact6: もしもその書架は業火でないとすると結び付き難くない fact7: なんらかのものは憤死しないなら「それは惨たらしい」ということは間違っている fact8: もし仮に「その書架は五千万人でない」ということは成り立つとしたら書法だ fact9: 「仮に「膨大である」ということは成り立つとすれば涙脆くない」ものはある fact10: その書架が通し入れればそれは書法でない fact11: もし仮に何らかの物は周旋であるということはないとすると「それはサブレポートであるということはない」ということは事実だ fact12: 「もし通し入れるということはないとすれば書法な」物はある fact13: もし仮にその大逆事件が書法でないとすればそれはテンパイしない ; $hypothesis$ = 「「もし通し入れないなら書法でない」物はある」ということは成り立たない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にその書架が通し入れないとすればそれは書法である
事実2: 「もしも激しいということはないとすれば甘過ぎる」ものはある
事実3: 「もし通し入れれば書法でない」ものはある
事実4: 「「待ち切れる」ということは成り立つとしたら角鰈でない」物はある
事実5: もしもその書架が通し入れないとすると書法であるということはない
事実6: もしもその書架は業火でないとすると結び付き難くない
事実7: なんらかのものは憤死しないなら「それは惨たらしい」ということは間違っている
事実8: もし仮に「その書架は五千万人でない」ということは成り立つとしたら書法だ
事実9: 「仮に「膨大である」ということは成り立つとすれば涙脆くない」ものはある
事実10: その書架が通し入れればそれは書法でない
事実11: もし仮に何らかの物は周旋であるということはないとすると「それはサブレポートであるということはない」ということは事実だ
事実12: 「もし通し入れるということはないとすれば書法な」物はある
事実13: もし仮にその大逆事件が書法でないとすればそれはテンパイしない

仮説: 「「もし通し入れないなら書法でない」物はある」ということは成り立たない
1. 事実5から、仮説が否定される

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