「「仮に交代勤務でないしその上登載しないとすると裳裾でない」物はある」ということは偽である
fact1: もしその印刷術は万福寺でないしかつ奪回しないとすれば裳裾でない fact2: もしもなにがしかのものが交代勤務でないしまた登載しないなら裳裾でない fact3: もしその印刷術が交代勤務でないけどそれは登載するとしたら「それは裳裾でない」ということは成り立つ fact4: もし仮に何らかのものが統制しないがしかしチェックすればそれは交代しない fact5: 仮に出し難くないものは金婚式であるということはないとしたら「それは船型碑でない」ということは事実だ fact6: 「もしも緒戦だということはないけれど癌以外だとすると探知出来るということはない」ものはある fact7: 「交代勤務であるししかも登載しないとすれば裳裾でない」物はある fact8: 仮に何らかの物は使用場面だということはないけど連関するとすればそれは白菜でない fact9: もし仮にその印刷術が交代勤務だが登載しないとすればそれは裳裾でない fact10: もしもその印刷術は領主層でないしさらに交代勤務でないならば透く
fact2 -> int1: もし仮にその印刷術は交代勤務でなくて更に登載しないならば裳裾でない; int1 -> hypothesis;
$facts$ = fact1: もしその印刷術は万福寺でないしかつ奪回しないとすれば裳裾でない fact2: もしもなにがしかのものが交代勤務でないしまた登載しないなら裳裾でない fact3: もしその印刷術が交代勤務でないけどそれは登載するとしたら「それは裳裾でない」ということは成り立つ fact4: もし仮に何らかのものが統制しないがしかしチェックすればそれは交代しない fact5: 仮に出し難くないものは金婚式であるということはないとしたら「それは船型碑でない」ということは事実だ fact6: 「もしも緒戦だということはないけれど癌以外だとすると探知出来るということはない」ものはある fact7: 「交代勤務であるししかも登載しないとすれば裳裾でない」物はある fact8: 仮に何らかの物は使用場面だということはないけど連関するとすればそれは白菜でない fact9: もし仮にその印刷術が交代勤務だが登載しないとすればそれは裳裾でない fact10: もしもその印刷術は領主層でないしさらに交代勤務でないならば透く ; $hypothesis$ = 「「仮に交代勤務でないしその上登載しないとすると裳裾でない」物はある」ということは偽である ; $proof$ = 
fact2 -> int1: もし仮にその印刷術は交代勤務でなくて更に登載しないならば裳裾でない; int1 -> hypothesis; __DISPROVED__
事実1: もしその印刷術は万福寺でないしかつ奪回しないとすれば裳裾でない
事実2: もしもなにがしかのものが交代勤務でないしまた登載しないなら裳裾でない
事実3: もしその印刷術が交代勤務でないけどそれは登載するとしたら「それは裳裾でない」ということは成り立つ
事実4: もし仮に何らかのものが統制しないがしかしチェックすればそれは交代しない
事実5: 仮に出し難くないものは金婚式であるということはないとしたら「それは船型碑でない」ということは事実だ
事実6: 「もしも緒戦だということはないけれど癌以外だとすると探知出来るということはない」ものはある
事実7: 「交代勤務であるししかも登載しないとすれば裳裾でない」物はある
事実8: 仮に何らかの物は使用場面だということはないけど連関するとすればそれは白菜でない
事実9: もし仮にその印刷術が交代勤務だが登載しないとすればそれは裳裾でない
事実10: もしもその印刷術は領主層でないしさらに交代勤務でないならば透く

仮説: 「「仮に交代勤務でないしその上登載しないとすると裳裾でない」物はある」ということは偽である
1. 事実2から、推論1: "もし仮にその印刷術は交代勤務でなくて更に登載しないならば裳裾でない"が導かれる
2. 推論1から、仮説が否定される

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