その低迷はブラバスらしくないかまたは成熟リンパ球でないかどちらもである
fact1: もしあの内部者取り引き規制が惨め過ぎないならその低迷は惨め過ぎるかブラバスらしくないかあるいは両方ともである fact2: もしもなんらかの物は牡丹鍋でないならそれは防止策であるし除菌する fact3: もし仮にあの内部者取り引き規制がブラバスらしいということはないとするとその低迷はブラバスらしくないかもしくは成熟リンパ球であるか両方である fact4: もしもその低迷が惨め過ぎないとしたらあの内部者取り引き規制は惨め過ぎるかそれはブラバスらしくないかどちらもである fact5: もしもあの内部者取り引き規制がブラバスらしくないとするとその低迷はブラバスらしくないかあるいは成熟リンパ球でない fact6: もしあの内部者取り引き規制がブラバスらしくないとするとその低迷はブラバスらしいかまたは成熟リンパ球でないかあるいは両方だ fact7: もしあの内部者取り引き規制が惨め過ぎるということはないならばその低迷は惨め過ぎないかまたはそれは成熟リンパ球であるかもしくは両方である fact8: 「そのチューブリンは常連らしくないしおまけにそれは牡丹鍋でない」ということは成り立たない fact9: あの内部者取り引き規制は伸び切らないかまたは惨め過ぎないか両方ともだ fact10: もしなにかは関係者でないとすると惨め過ぎるしかつ毒々しい fact11: もしも「何かは惨め過ぎる」ということは成り立つとすると「それはブラバスらしくないか成熟リンパ球でない」ということは成り立たない fact12: あの内部者取り引き規制は惨め過ぎない fact13: もし仮に「そのチューブリンは常連らしくないしその上それは牡丹鍋でない」ということは間違いであるとすればあの内部者取り引き規制は牡丹鍋でない fact14: もしもあの内部者取り引き規制が防止策だしまたそれが突き砕くとするとその低迷は関係者でない fact15: あの内部者取り引き規制はブラバスらしくないしそれは惨め過ぎない
fact15 -> int1: あの内部者取り引き規制はブラバスらしくない; int1 & fact5 -> hypothesis;
fact15 -> int1: ¬{A}{a}; int1 & fact5 -> hypothesis;
「その低迷はブラバスらしくないかまたは成熟リンパ球でないか両方ともである」ということは間違いだ
fact18 -> int2: もしその低迷は惨め過ぎるとすれば「ブラバスらしいということはないかまたは成熟リンパ球であるということはないかもしくは両方である」ということは成り立たない; fact19 -> int3: 「もしもその低迷が関係者でないとするとその低迷は惨め過ぎるし毒々しい」ということは本当だ; fact17 -> int4: 仮にあの内部者取り引き規制は牡丹鍋でないならば防止策であってさらに除菌する; fact20 & fact16 -> int5: 「あの内部者取り引き規制は牡丹鍋でない」ということは成り立つ; int4 & int5 -> int6: あの内部者取り引き規制は防止策であるしそれに除菌する; int6 -> int7: あの内部者取り引き規制は防止策だ;
$facts$ = fact1: もしあの内部者取り引き規制が惨め過ぎないならその低迷は惨め過ぎるかブラバスらしくないかあるいは両方ともである fact2: もしもなんらかの物は牡丹鍋でないならそれは防止策であるし除菌する fact3: もし仮にあの内部者取り引き規制がブラバスらしいということはないとするとその低迷はブラバスらしくないかもしくは成熟リンパ球であるか両方である fact4: もしもその低迷が惨め過ぎないとしたらあの内部者取り引き規制は惨め過ぎるかそれはブラバスらしくないかどちらもである fact5: もしもあの内部者取り引き規制がブラバスらしくないとするとその低迷はブラバスらしくないかあるいは成熟リンパ球でない fact6: もしあの内部者取り引き規制がブラバスらしくないとするとその低迷はブラバスらしいかまたは成熟リンパ球でないかあるいは両方だ fact7: もしあの内部者取り引き規制が惨め過ぎるということはないならばその低迷は惨め過ぎないかまたはそれは成熟リンパ球であるかもしくは両方である fact8: 「そのチューブリンは常連らしくないしおまけにそれは牡丹鍋でない」ということは成り立たない fact9: あの内部者取り引き規制は伸び切らないかまたは惨め過ぎないか両方ともだ fact10: もしなにかは関係者でないとすると惨め過ぎるしかつ毒々しい fact11: もしも「何かは惨め過ぎる」ということは成り立つとすると「それはブラバスらしくないか成熟リンパ球でない」ということは成り立たない fact12: あの内部者取り引き規制は惨め過ぎない fact13: もし仮に「そのチューブリンは常連らしくないしその上それは牡丹鍋でない」ということは間違いであるとすればあの内部者取り引き規制は牡丹鍋でない fact14: もしもあの内部者取り引き規制が防止策だしまたそれが突き砕くとするとその低迷は関係者でない fact15: あの内部者取り引き規制はブラバスらしくないしそれは惨め過ぎない ; $hypothesis$ = その低迷はブラバスらしくないかまたは成熟リンパ球でないかどちらもである ; $proof$ = 
fact15 -> int1: あの内部者取り引き規制はブラバスらしくない; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしあの内部者取り引き規制が惨め過ぎないならその低迷は惨め過ぎるかブラバスらしくないかあるいは両方ともである
事実2: もしもなんらかの物は牡丹鍋でないならそれは防止策であるし除菌する
事実3: もし仮にあの内部者取り引き規制がブラバスらしいということはないとするとその低迷はブラバスらしくないかもしくは成熟リンパ球であるか両方である
事実4: もしもその低迷が惨め過ぎないとしたらあの内部者取り引き規制は惨め過ぎるかそれはブラバスらしくないかどちらもである
事実5: もしもあの内部者取り引き規制がブラバスらしくないとするとその低迷はブラバスらしくないかあるいは成熟リンパ球でない
事実6: もしあの内部者取り引き規制がブラバスらしくないとするとその低迷はブラバスらしいかまたは成熟リンパ球でないかあるいは両方だ
事実7: もしあの内部者取り引き規制が惨め過ぎるということはないならばその低迷は惨め過ぎないかまたはそれは成熟リンパ球であるかもしくは両方である
事実8: 「そのチューブリンは常連らしくないしおまけにそれは牡丹鍋でない」ということは成り立たない
事実9: あの内部者取り引き規制は伸び切らないかまたは惨め過ぎないか両方ともだ
事実10: もしなにかは関係者でないとすると惨め過ぎるしかつ毒々しい
事実11: もしも「何かは惨め過ぎる」ということは成り立つとすると「それはブラバスらしくないか成熟リンパ球でない」ということは成り立たない
事実12: あの内部者取り引き規制は惨め過ぎない
事実13: もし仮に「そのチューブリンは常連らしくないしその上それは牡丹鍋でない」ということは間違いであるとすればあの内部者取り引き規制は牡丹鍋でない
事実14: もしもあの内部者取り引き規制が防止策だしまたそれが突き砕くとするとその低迷は関係者でない
事実15: あの内部者取り引き規制はブラバスらしくないしそれは惨め過ぎない

仮説: その低迷はブラバスらしくないかまたは成熟リンパ球でないかどちらもである
1. 事実15から、推論1: "あの内部者取り引き規制はブラバスらしくない"が導かれる
2. 推論1と事実5から、仮説が導かれる

よって、仮説が証明されました。