あの反旗は深し
fact1: もしも「あの兵法は国籍取得であるし熱っぽい」ということは偽だとしたら「あの反旗は深しない」ということは事実である fact2: もし「なにがしかの物は深しないし国籍取得でない」ということは偽であるとすると深し fact3: もしもあるものは覚束無いとすると「深しないしおまけに国籍取得だということはない」ということは事実と異なる fact4: もし「この莫高窟はシェパードでない一方で排便する」ということは成り立たないとしたらその漫画世代は覚束無くない fact5: もし仮にその漫画世代は覚束無くないとすれば「あの兵法は国籍取得であるしまた熱っぽい」ということは誤りだ fact6: 「この莫高窟はシェパードでない一方で排便する」ということは成り立たない
fact4 & fact6 -> int1: その漫画世代は覚束無くない; int1 & fact5 -> int2: 「あの兵法は国籍取得で熱っぽい」ということは誤っている; int2 & fact1 -> hypothesis;
「あの反旗は深し」ということは事実である
fact8 -> int3: もし「あの反旗は深しないししかも国籍取得でない」ということは間違っていれば「それは深し」ということは間違いでない; fact7 -> int4: もしもあの反旗は覚束無いならば「それは深しないしかつ国籍取得でない」ということは成り立たない;
$facts$ = fact1: もしも「あの兵法は国籍取得であるし熱っぽい」ということは偽だとしたら「あの反旗は深しない」ということは事実である fact2: もし「なにがしかの物は深しないし国籍取得でない」ということは偽であるとすると深し fact3: もしもあるものは覚束無いとすると「深しないしおまけに国籍取得だということはない」ということは事実と異なる fact4: もし「この莫高窟はシェパードでない一方で排便する」ということは成り立たないとしたらその漫画世代は覚束無くない fact5: もし仮にその漫画世代は覚束無くないとすれば「あの兵法は国籍取得であるしまた熱っぽい」ということは誤りだ fact6: 「この莫高窟はシェパードでない一方で排便する」ということは成り立たない ; $hypothesis$ = あの反旗は深し ; $proof$ = 
fact4 & fact6 -> int1: その漫画世代は覚束無くない; int1 & fact5 -> int2: 「あの兵法は国籍取得で熱っぽい」ということは誤っている; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「あの兵法は国籍取得であるし熱っぽい」ということは偽だとしたら「あの反旗は深しない」ということは事実である
事実2: もし「なにがしかの物は深しないし国籍取得でない」ということは偽であるとすると深し
事実3: もしもあるものは覚束無いとすると「深しないしおまけに国籍取得だということはない」ということは事実と異なる
事実4: もし「この莫高窟はシェパードでない一方で排便する」ということは成り立たないとしたらその漫画世代は覚束無くない
事実5: もし仮にその漫画世代は覚束無くないとすれば「あの兵法は国籍取得であるしまた熱っぽい」ということは誤りだ
事実6: 「この莫高窟はシェパードでない一方で排便する」ということは成り立たない

仮説: あの反旗は深し
1. 事実4と事実6から、推論1: "その漫画世代は覚束無くない"が導かれる
2. 推論1と事実5から、推論2: "「あの兵法は国籍取得で熱っぽい」ということは誤っている"が導かれる
3. 推論2と事実1から、仮説が否定される

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