「「もし仮に嗾けるないか区別し易いとすれば使い難くない」物はある」ということは成り立たない
fact1: もしもそのわきゃは嗾けるないかもしくは区別し易いかまたはどちらもであるなら使い難い fact2: もし仮にある物は嗾けるないか区別し易いか両方ともだとすると使い難いということはない fact3: 「もし嗾けるないかもしくは区別し易いかもしくはどちらもであるとすると使い難い」物はある fact4: 「もしも北進論でないか薄暗いかもしくはどちらもだとすると精白しない」物はある fact5: もし仮にある物が嗾けるないならばそれは使い難くない fact6: 「もしも嗾けるないならば「使い難いということはない」ということは成り立つ」物はある fact7: 仮に何かは嗾けるということはないかまたはそれは区別し易いかどちらもならば「使い難い」ということは事実である fact8: もしそのわきゃが嗾けるないなら使い難くない
fact2 -> int1: そのわきゃは嗾けるということはないかもしくは区別し易いか両方であるとしたらそれは使い難くない; int1 -> hypothesis;
$facts$ = fact1: もしもそのわきゃは嗾けるないかもしくは区別し易いかまたはどちらもであるなら使い難い fact2: もし仮にある物は嗾けるないか区別し易いか両方ともだとすると使い難いということはない fact3: 「もし嗾けるないかもしくは区別し易いかもしくはどちらもであるとすると使い難い」物はある fact4: 「もしも北進論でないか薄暗いかもしくはどちらもだとすると精白しない」物はある fact5: もし仮にある物が嗾けるないならばそれは使い難くない fact6: 「もしも嗾けるないならば「使い難いということはない」ということは成り立つ」物はある fact7: 仮に何かは嗾けるということはないかまたはそれは区別し易いかどちらもならば「使い難い」ということは事実である fact8: もしそのわきゃが嗾けるないなら使い難くない ; $hypothesis$ = 「「もし仮に嗾けるないか区別し易いとすれば使い難くない」物はある」ということは成り立たない ; $proof$ = 
fact2 -> int1: そのわきゃは嗾けるということはないかもしくは区別し易いか両方であるとしたらそれは使い難くない; int1 -> hypothesis; __DISPROVED__
事実1: もしもそのわきゃは嗾けるないかもしくは区別し易いかまたはどちらもであるなら使い難い
事実2: もし仮にある物は嗾けるないか区別し易いか両方ともだとすると使い難いということはない
事実3: 「もし嗾けるないかもしくは区別し易いかもしくはどちらもであるとすると使い難い」物はある
事実4: 「もしも北進論でないか薄暗いかもしくはどちらもだとすると精白しない」物はある
事実5: もし仮にある物が嗾けるないならばそれは使い難くない
事実6: 「もしも嗾けるないならば「使い難いということはない」ということは成り立つ」物はある
事実7: 仮に何かは嗾けるということはないかまたはそれは区別し易いかどちらもならば「使い難い」ということは事実である
事実8: もしそのわきゃが嗾けるないなら使い難くない

仮説: 「「もし仮に嗾けるないか区別し易いとすれば使い難くない」物はある」ということは成り立たない
1. 事実2から、推論1: "そのわきゃは嗾けるということはないかもしくは区別し易いか両方であるとしたらそれは使い難くない"が導かれる
2. 推論1から、仮説が否定される

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