その日銀貸し出しは投与薬剤だということはない
fact1: もし仮に「あの来院時は打ち勝つがしかし緊迫しない」ということは間違っているとしたら緊迫する fact2: 仮に「あの来院時は天使らしくないしそれは投与薬剤でない」ということは事実と異なるならあの卒は投与薬剤でない fact3: 「天使らしくない」ものはある fact4: 仮にこの最適反応生産量が参殿するならあの来院時は公立中学だ fact5: もし仮になにがしかのものは注射部位だとすれば「それは公立中学である」ということは本当だ fact6: 「この三秒間息は注射部位でないか参殿しないかもしくは両方ともだ」ということは成り立たない fact7: 聞き取り難いということはない物は緊迫しない fact8: その日銀貸し出しが緊迫しないならばあの来院時は通水するしかつそれは心奇形である fact9: あの卒は心奇形である fact10: もしも「この最適反応生産量は参殿するがしかし聞き取り難くない」ということは成り立たないならばその日銀貸し出しは聞き取り難くない fact11: 「もし仮にあの卒が心奇形だし天使らしいとするとあの来院時は通水しない」ということは成り立つ fact12: もし何かは公立中学であるとしたら「それは聞き取り難い」ということは真実である fact13: 「緊迫する」物はある fact14: この第十二航空軍は緊迫する fact15: あの会食は心奇形だ fact16: なにがしかのものは公立中学なら「それは参殿する一方で聞き取り難いということはない」ということは成り立たない fact17: 天使らしくない物が緊迫するとするとその日銀貸し出しは投与薬剤でない fact18: もしもなんらかの物が通水しないとすると天使らしくないけれど心奇形だ fact19: 仮にあの卒が投与薬剤でないならばあの囲碁クラブは投与薬剤でない fact20: 「この最適反応生産量は打ち勝つ」ということは真実だとすればそれは注射部位だ fact21: あの卒は緊迫する fact22: もしもあの卒が投与薬剤ならその日銀貸し出しは投与薬剤だ fact23: あの来院時は通水する fact24: もし仮に「この三秒間息は注射部位でないかそれは参殿するということはないかあるいはどちらもである」ということは成り立つということはないとすればこの最適反応生産量は参殿する
void -> assump1: 以下のように仮定する。あの卒は天使らしい; fact9 & assump1 -> int1: あの卒は心奇形で加えて天使らしい; int1 & fact11 -> int2: あの来院時は通水しない; int2 & fact23 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの卒は天使らしいということはない」ということは成り立つ; int4 & fact21 -> int5: あの卒は天使らしいということはないが緊迫する; int5 -> int6: 「天使らしくないがしかし緊迫する」ものはある; int6 & fact17 -> hypothesis;
その日銀貸し出しは投与薬剤である
fact31 -> int7: もし仮にあの卒が通水しないとすればそれが天使らしくないしさらにそれは心奇形だ; fact27 -> int8: もしあの来院時が公立中学だとしたら聞き取り難い; fact28 & fact29 -> int9: この最適反応生産量は参殿する; fact26 & int9 -> int10: あの来院時は公立中学だ; int8 & int10 -> int11: あの来院時は聞き取り難い;
$facts$ = fact1: もし仮に「あの来院時は打ち勝つがしかし緊迫しない」ということは間違っているとしたら緊迫する fact2: 仮に「あの来院時は天使らしくないしそれは投与薬剤でない」ということは事実と異なるならあの卒は投与薬剤でない fact3: 「天使らしくない」ものはある fact4: 仮にこの最適反応生産量が参殿するならあの来院時は公立中学だ fact5: もし仮になにがしかのものは注射部位だとすれば「それは公立中学である」ということは本当だ fact6: 「この三秒間息は注射部位でないか参殿しないかもしくは両方ともだ」ということは成り立たない fact7: 聞き取り難いということはない物は緊迫しない fact8: その日銀貸し出しが緊迫しないならばあの来院時は通水するしかつそれは心奇形である fact9: あの卒は心奇形である fact10: もしも「この最適反応生産量は参殿するがしかし聞き取り難くない」ということは成り立たないならばその日銀貸し出しは聞き取り難くない fact11: 「もし仮にあの卒が心奇形だし天使らしいとするとあの来院時は通水しない」ということは成り立つ fact12: もし何かは公立中学であるとしたら「それは聞き取り難い」ということは真実である fact13: 「緊迫する」物はある fact14: この第十二航空軍は緊迫する fact15: あの会食は心奇形だ fact16: なにがしかのものは公立中学なら「それは参殿する一方で聞き取り難いということはない」ということは成り立たない fact17: 天使らしくない物が緊迫するとするとその日銀貸し出しは投与薬剤でない fact18: もしもなんらかの物が通水しないとすると天使らしくないけれど心奇形だ fact19: 仮にあの卒が投与薬剤でないならばあの囲碁クラブは投与薬剤でない fact20: 「この最適反応生産量は打ち勝つ」ということは真実だとすればそれは注射部位だ fact21: あの卒は緊迫する fact22: もしもあの卒が投与薬剤ならその日銀貸し出しは投与薬剤だ fact23: あの来院時は通水する fact24: もし仮に「この三秒間息は注射部位でないかそれは参殿するということはないかあるいはどちらもである」ということは成り立つということはないとすればこの最適反応生産量は参殿する ; $hypothesis$ = その日銀貸し出しは投与薬剤だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの卒は天使らしい; fact9 & assump1 -> int1: あの卒は心奇形で加えて天使らしい; int1 & fact11 -> int2: あの来院時は通水しない; int2 & fact23 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの卒は天使らしいということはない」ということは成り立つ; int4 & fact21 -> int5: あの卒は天使らしいということはないが緊迫する; int5 -> int6: 「天使らしくないがしかし緊迫する」ものはある; int6 & fact17 -> hypothesis; __PROVED__
事実1: もし仮に「あの来院時は打ち勝つがしかし緊迫しない」ということは間違っているとしたら緊迫する
事実2: 仮に「あの来院時は天使らしくないしそれは投与薬剤でない」ということは事実と異なるならあの卒は投与薬剤でない
事実3: 「天使らしくない」ものはある
事実4: 仮にこの最適反応生産量が参殿するならあの来院時は公立中学だ
事実5: もし仮になにがしかのものは注射部位だとすれば「それは公立中学である」ということは本当だ
事実6: 「この三秒間息は注射部位でないか参殿しないかもしくは両方ともだ」ということは成り立たない
事実7: 聞き取り難いということはない物は緊迫しない
事実8: その日銀貸し出しが緊迫しないならばあの来院時は通水するしかつそれは心奇形である
事実9: あの卒は心奇形である
事実10: もしも「この最適反応生産量は参殿するがしかし聞き取り難くない」ということは成り立たないならばその日銀貸し出しは聞き取り難くない
事実11: 「もし仮にあの卒が心奇形だし天使らしいとするとあの来院時は通水しない」ということは成り立つ
事実12: もし何かは公立中学であるとしたら「それは聞き取り難い」ということは真実である
事実13: 「緊迫する」物はある
事実14: この第十二航空軍は緊迫する
事実15: あの会食は心奇形だ
事実16: なにがしかのものは公立中学なら「それは参殿する一方で聞き取り難いということはない」ということは成り立たない
事実17: 天使らしくない物が緊迫するとするとその日銀貸し出しは投与薬剤でない
事実18: もしもなんらかの物が通水しないとすると天使らしくないけれど心奇形だ
事実19: 仮にあの卒が投与薬剤でないならばあの囲碁クラブは投与薬剤でない
事実20: 「この最適反応生産量は打ち勝つ」ということは真実だとすればそれは注射部位だ
事実21: あの卒は緊迫する
事実22: もしもあの卒が投与薬剤ならその日銀貸し出しは投与薬剤だ
事実23: あの来院時は通水する
事実24: もし仮に「この三秒間息は注射部位でないかそれは参殿するということはないかあるいはどちらもである」ということは成り立つということはないとすればこの最適反応生産量は参殿する

仮説: その日銀貸し出しは投与薬剤だということはない
1. 仮定1: 以下のように仮定する。あの卒は天使らしい
2. 事実9と仮定1から、推論1: "あの卒は心奇形で加えて天使らしい"が導かれる
3. 推論1と事実11から、推論2: "あの来院時は通水しない"が導かれる
4. 推論2と事実23から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの卒は天使らしいということはない」ということは成り立つ"が導かれる
6. 推論4と事実21から、推論5: "あの卒は天使らしいということはないが緊迫する"が導かれる
7. 推論5から、推論6: "「天使らしくないがしかし緊迫する」ものはある"が導かれる
8. 推論6と事実17から、仮説が導かれる

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