この帯は騒がしいということはないがそれは御尋ねる
fact1: もし仮になにかは間接法でないがしかし厚かましいならば愛情深い fact2: その自軍は飲み比べる fact3: もしもその自軍は愛情深いとすれば「この帯は騒がしくないけれど御尋ねる」ということは間違いである fact4: もしもその自軍が飲み比べれば間接法でないし加えて厚かましい fact5: 騒がしくて愛情深くない物はない fact6: 仮に「この帯は騒がしいけれど愛情深くない」ということは偽ならばそれは騒がしくない fact7: もし仮に「その自軍は騒がしい」ということは本当であるならば飲み比べないけど間接法である
fact1 -> int1: 仮にその自軍が間接法でないがしかしそれが厚かましいならばそれは愛情深い; fact2 & fact4 -> int2: その自軍は間接法でないけれどそれは厚かましい; int1 & int2 -> int3: その自軍は愛情深い; int3 & fact3 -> hypothesis;
この帯は騒がしくないけれど御尋ねる
fact9 -> int4: 「この帯は騒がしいが愛情深くない」ということは誤りだ; fact8 & int4 -> int5: この帯は騒がしくない;
$facts$ = fact1: もし仮になにかは間接法でないがしかし厚かましいならば愛情深い fact2: その自軍は飲み比べる fact3: もしもその自軍は愛情深いとすれば「この帯は騒がしくないけれど御尋ねる」ということは間違いである fact4: もしもその自軍が飲み比べれば間接法でないし加えて厚かましい fact5: 騒がしくて愛情深くない物はない fact6: 仮に「この帯は騒がしいけれど愛情深くない」ということは偽ならばそれは騒がしくない fact7: もし仮に「その自軍は騒がしい」ということは本当であるならば飲み比べないけど間接法である ; $hypothesis$ = この帯は騒がしいということはないがそれは御尋ねる ; $proof$ = 
fact1 -> int1: 仮にその自軍が間接法でないがしかしそれが厚かましいならばそれは愛情深い; fact2 & fact4 -> int2: その自軍は間接法でないけれどそれは厚かましい; int1 & int2 -> int3: その自軍は愛情深い; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは間接法でないがしかし厚かましいならば愛情深い
事実2: その自軍は飲み比べる
事実3: もしもその自軍は愛情深いとすれば「この帯は騒がしくないけれど御尋ねる」ということは間違いである
事実4: もしもその自軍が飲み比べれば間接法でないし加えて厚かましい
事実5: 騒がしくて愛情深くない物はない
事実6: 仮に「この帯は騒がしいけれど愛情深くない」ということは偽ならばそれは騒がしくない
事実7: もし仮に「その自軍は騒がしい」ということは本当であるならば飲み比べないけど間接法である

仮説: この帯は騒がしいということはないがそれは御尋ねる
1. 事実1から、推論1: "仮にその自軍が間接法でないがしかしそれが厚かましいならばそれは愛情深い"が導かれる
2. 事実2と事実4から、推論2: "その自軍は間接法でないけれどそれは厚かましい"が導かれる
3. 推論1と推論2から、推論3: "その自軍は愛情深い"が導かれる
4. 推論3と事実3から、仮説が否定される

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