この練習試合は婚姻しない
fact1: あの軍紀は真っ白い fact2: もしもなんらかの物が奥深いということはないけれどそれが抜くとすればそれは婚姻しない fact3: もしその医局等が婚姻するということはないけど奥深いとするとこの練習試合は軽ーい fact4: 仮にこの練習試合が軽ーくないかまたはハイストリート・ケンジントン駅下車であるかもしくはどちらもだとしたらその医局等は奥深い fact5: あの軍紀は抜く fact6: その医局等は軽ーい fact7: 「なにがしかの物は婚姻するということはないがそれは抜く」ということは事実と異なるとすれば「婚姻する」ということは正しい fact8: もしもあの軍紀が抜くとすればあの医局等は奥深くない fact9: そのプログラム・ディレクターは抜く fact10: もしその医局等が奥深くないけどそれが軽ーいならばこの練習試合は婚姻する fact11: その医局等は婚姻する fact12: もし仮にあの軍紀が抜かないが軽ーいならばその医局等は婚姻する fact13: 仮にその医局等は奥深いとすれば「あの軍紀は婚姻しない一方で抜く」ということは真実でない
fact8 & fact5 -> int1: その医局等は奥深くない; int1 & fact6 -> int2: その医局等は奥深くないけれどそれは軽ーい; int2 & fact10 -> hypothesis;
fact8 & fact5 -> int1: ¬{B}{b}; int1 & fact6 -> int2: (¬{B}{b} & {C}{b}); int2 & fact10 -> hypothesis;
あの軍紀は婚姻する
fact16 -> int3: 仮に「あの軍紀は婚姻しないけれど抜く」ということは成り立たないなら婚姻する;
$facts$ = fact1: あの軍紀は真っ白い fact2: もしもなんらかの物が奥深いということはないけれどそれが抜くとすればそれは婚姻しない fact3: もしその医局等が婚姻するということはないけど奥深いとするとこの練習試合は軽ーい fact4: 仮にこの練習試合が軽ーくないかまたはハイストリート・ケンジントン駅下車であるかもしくはどちらもだとしたらその医局等は奥深い fact5: あの軍紀は抜く fact6: その医局等は軽ーい fact7: 「なにがしかの物は婚姻するということはないがそれは抜く」ということは事実と異なるとすれば「婚姻する」ということは正しい fact8: もしもあの軍紀が抜くとすればあの医局等は奥深くない fact9: そのプログラム・ディレクターは抜く fact10: もしその医局等が奥深くないけどそれが軽ーいならばこの練習試合は婚姻する fact11: その医局等は婚姻する fact12: もし仮にあの軍紀が抜かないが軽ーいならばその医局等は婚姻する fact13: 仮にその医局等は奥深いとすれば「あの軍紀は婚姻しない一方で抜く」ということは真実でない ; $hypothesis$ = この練習試合は婚姻しない ; $proof$ = 
fact8 & fact5 -> int1: その医局等は奥深くない; int1 & fact6 -> int2: その医局等は奥深くないけれどそれは軽ーい; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: あの軍紀は真っ白い
事実2: もしもなんらかの物が奥深いということはないけれどそれが抜くとすればそれは婚姻しない
事実3: もしその医局等が婚姻するということはないけど奥深いとするとこの練習試合は軽ーい
事実4: 仮にこの練習試合が軽ーくないかまたはハイストリート・ケンジントン駅下車であるかもしくはどちらもだとしたらその医局等は奥深い
事実5: あの軍紀は抜く
事実6: その医局等は軽ーい
事実7: 「なにがしかの物は婚姻するということはないがそれは抜く」ということは事実と異なるとすれば「婚姻する」ということは正しい
事実8: もしもあの軍紀が抜くとすればあの医局等は奥深くない
事実9: そのプログラム・ディレクターは抜く
事実10: もしその医局等が奥深くないけどそれが軽ーいならばこの練習試合は婚姻する
事実11: その医局等は婚姻する
事実12: もし仮にあの軍紀が抜かないが軽ーいならばその医局等は婚姻する
事実13: 仮にその医局等は奥深いとすれば「あの軍紀は婚姻しない一方で抜く」ということは真実でない

仮説: この練習試合は婚姻しない
1. 事実8と事実5から、推論1: "その医局等は奥深くない"が導かれる
2. 推論1と事実6から、推論2: "その医局等は奥深くないけれどそれは軽ーい"が導かれる
3. 推論2と事実10から、仮説が否定される

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