「「仮に金平でないかあるいは使い難いなら「汗臭くない」ということは成り立つ」物はある」ということは成り立つということはない
fact1: 「測定例でないかまたは把握し難いかもしくはどちらもだとすればアコードだということはない」物はある fact2: 「もし怪しないか舞い始めるとすると丸くない」物はある fact3: もしその県庁所在地は捕まえ易くないかリバーブであるかもしくは両方ともだとしたらアップ出来る fact4: もし仮にとあるものが金平でないかあるいはそれが使い難いとしたらそれは汗臭くない fact5: もしなんらかのものは金平であるか使い難いかまたは両方ともであるとすれば「それは汗臭くない」ということは本当だ fact6: もしあの徴税機関は使い難いとすれば「それは汗臭くない」ということは真実だ fact7: もしも何かは金平でないかまたは使い難いかどちらもだとすると汗臭い fact8: 「もし仮に金平であるかあるいは使い難いなら汗臭くない」物はある fact9: 「仮に使い難いとしたら汗臭くない」ものはある fact10: 「もし金平でないかまたは使い難いかまたはどちらもであるなら汗臭い」ものはある
fact4 -> int1: もし仮にあの徴税機関が金平でないかまたは使い難いかどちらもであるとしたら汗臭くない; int1 -> hypothesis;
$facts$ = fact1: 「測定例でないかまたは把握し難いかもしくはどちらもだとすればアコードだということはない」物はある fact2: 「もし怪しないか舞い始めるとすると丸くない」物はある fact3: もしその県庁所在地は捕まえ易くないかリバーブであるかもしくは両方ともだとしたらアップ出来る fact4: もし仮にとあるものが金平でないかあるいはそれが使い難いとしたらそれは汗臭くない fact5: もしなんらかのものは金平であるか使い難いかまたは両方ともであるとすれば「それは汗臭くない」ということは本当だ fact6: もしあの徴税機関は使い難いとすれば「それは汗臭くない」ということは真実だ fact7: もしも何かは金平でないかまたは使い難いかどちらもだとすると汗臭い fact8: 「もし仮に金平であるかあるいは使い難いなら汗臭くない」物はある fact9: 「仮に使い難いとしたら汗臭くない」ものはある fact10: 「もし金平でないかまたは使い難いかまたはどちらもであるなら汗臭い」ものはある ; $hypothesis$ = 「「仮に金平でないかあるいは使い難いなら「汗臭くない」ということは成り立つ」物はある」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: もし仮にあの徴税機関が金平でないかまたは使い難いかどちらもであるとしたら汗臭くない; int1 -> hypothesis; __DISPROVED__
事実1: 「測定例でないかまたは把握し難いかもしくはどちらもだとすればアコードだということはない」物はある
事実2: 「もし怪しないか舞い始めるとすると丸くない」物はある
事実3: もしその県庁所在地は捕まえ易くないかリバーブであるかもしくは両方ともだとしたらアップ出来る
事実4: もし仮にとあるものが金平でないかあるいはそれが使い難いとしたらそれは汗臭くない
事実5: もしなんらかのものは金平であるか使い難いかまたは両方ともであるとすれば「それは汗臭くない」ということは本当だ
事実6: もしあの徴税機関は使い難いとすれば「それは汗臭くない」ということは真実だ
事実7: もしも何かは金平でないかまたは使い難いかどちらもだとすると汗臭い
事実8: 「もし仮に金平であるかあるいは使い難いなら汗臭くない」物はある
事実9: 「仮に使い難いとしたら汗臭くない」ものはある
事実10: 「もし金平でないかまたは使い難いかまたはどちらもであるなら汗臭い」ものはある

仮説: 「「仮に金平でないかあるいは使い難いなら「汗臭くない」ということは成り立つ」物はある」ということは成り立つということはない
1. 事実4から、推論1: "もし仮にあの徴税機関が金平でないかまたは使い難いかどちらもであるとしたら汗臭くない"が導かれる
2. 推論1から、仮説が否定される

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