このＦ層は忙しなくないかあるいは見え難いということはないか両方である
fact1: すべてのものは交際費課税でない fact2: 仮にあのアルドステロンは転送出来ないとすると「それは読み書き出来るが書き合うということはない」ということは成り立つということはない fact3: あのアルドステロンは転送出来ない fact4: あの取り調べ受忍義務否定説は転送出来ない fact5: 仮になんらかのものが転送出来ないならばそれは忙しなくないかもしくは見え難くないかもしくはどちらもである fact6: 仮に「あのアルドステロンは読み書き出来るがしかし書き合わない」ということは偽だとすれば忙しなくない fact7: 仮に「あのアルドステロンは忙しなくない」ということは真実なら「「このＦ層は忙しなくないかまたは見え難いということはないかまたは両方ともだ」ということは成り立つ」ということは誤りである fact8: このＦ層は転送出来ないとすると「忙しなくて更にそれは見え難いということはない」ということは間違いだ
fact2 & fact3 -> int1: 「あのアルドステロンは読み書き出来るがしかしそれは書き合わない」ということは事実と異なる; int1 & fact6 -> int2: あのアルドステロンは忙しないということはない; int2 & fact7 -> hypothesis;
fact2 & fact3 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact6 -> int2: ¬{B}{a}; int2 & fact7 -> hypothesis;
あの治癒後は見え難くない
fact9 -> int3: あのアルドステロンは交際費課税でない;
$facts$ = fact1: すべてのものは交際費課税でない fact2: 仮にあのアルドステロンは転送出来ないとすると「それは読み書き出来るが書き合うということはない」ということは成り立つということはない fact3: あのアルドステロンは転送出来ない fact4: あの取り調べ受忍義務否定説は転送出来ない fact5: 仮になんらかのものが転送出来ないならばそれは忙しなくないかもしくは見え難くないかもしくはどちらもである fact6: 仮に「あのアルドステロンは読み書き出来るがしかし書き合わない」ということは偽だとすれば忙しなくない fact7: 仮に「あのアルドステロンは忙しなくない」ということは真実なら「「このＦ層は忙しなくないかまたは見え難いということはないかまたは両方ともだ」ということは成り立つ」ということは誤りである fact8: このＦ層は転送出来ないとすると「忙しなくて更にそれは見え難いということはない」ということは間違いだ ; $hypothesis$ = このＦ層は忙しなくないかあるいは見え難いということはないか両方である ; $proof$ = 
fact2 & fact3 -> int1: 「あのアルドステロンは読み書き出来るがしかしそれは書き合わない」ということは事実と異なる; int1 & fact6 -> int2: あのアルドステロンは忙しないということはない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: すべてのものは交際費課税でない
事実2: 仮にあのアルドステロンは転送出来ないとすると「それは読み書き出来るが書き合うということはない」ということは成り立つということはない
事実3: あのアルドステロンは転送出来ない
事実4: あの取り調べ受忍義務否定説は転送出来ない
事実5: 仮になんらかのものが転送出来ないならばそれは忙しなくないかもしくは見え難くないかもしくはどちらもである
事実6: 仮に「あのアルドステロンは読み書き出来るがしかし書き合わない」ということは偽だとすれば忙しなくない
事実7: 仮に「あのアルドステロンは忙しなくない」ということは真実なら「「このＦ層は忙しなくないかまたは見え難いということはないかまたは両方ともだ」ということは成り立つ」ということは誤りである
事実8: このＦ層は転送出来ないとすると「忙しなくて更にそれは見え難いということはない」ということは間違いだ

仮説: このＦ層は忙しなくないかあるいは見え難いということはないか両方である
1. 事実2と事実3から、推論1: "「あのアルドステロンは読み書き出来るがしかしそれは書き合わない」ということは事実と異なる"が導かれる
2. 推論1と事実6から、推論2: "あのアルドステロンは忙しないということはない"が導かれる
3. 推論2と事実7から、仮説が否定される

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