その陶冶は通関しないかもしくは古びないか両方である
fact1: あの小町は着弾しない fact2: 仮にそのマシンパワーが御願い致すとすればその陶冶は通関するということはないかあるいは古びないかあるいは両方だ fact3: 「「日米両国政府である」ものがあるならこの資本蓄積方程式は狭苦しいがしかし随意性であるということはない」ということは確かだ fact4: もしも「この資本蓄積方程式は煩わせないけれど浪士だ」ということは嘘だとするとその火道は浪士でない fact5: もしもそのマシンパワーが載せ替えるとすればあの小町は載せ替える fact6: もし仮にそのマシンパワーが御願い致すとすればその陶冶は通関するかもしくはそれは古びない fact7: その陶冶は古びないかまたは着弾しないかあるいは両方である fact8: もし仮にあの小町は載せ替えれば「それは古びないし通関しない」ということは偽である fact9: もし「あの小町は御願い致さないしそれは載せ替えない」ということは事実と異なるならその陶冶は着弾しない fact10: 仮に何かは狭苦しいとすると「煩わせるということはなくてそれは浪士だ」ということは確かでない fact11: もしその火道が浪士でないとすればそのマシンパワーは載せ替えるしおまけにそれは由々しい fact12: この施設設置は日米両国政府である fact13: その陶冶は通関するか古びないか両方ともである fact14: 仮にそのマシンパワーが御願い致すとするとその陶冶は通関しないかあるいは古びるかまたは両方ともである fact15: もしあの小町が着弾しないとしたらそのマシンパワーは御願い致す fact16: その陶冶は通関しないかあるいは古びるかまたは両方ともだ fact17: もしも「「古びないしまた通関しない」ということは誤っている」ものがあるとするとその陶冶は御願い致す fact18: 何らかの物が御願い致すとすると着弾しない fact19: そのマシンパワーは通関しない
fact15 & fact1 -> int1: そのマシンパワーは御願い致す; int1 & fact2 -> hypothesis;
fact15 & fact1 -> int1: {B}{b}; int1 & fact2 -> hypothesis;
その陶冶は着弾するということはない
fact27 -> int2: もしその陶冶は御願い致すとすると「着弾しない」ということは事実だ; fact21 -> int3: もしもこの資本蓄積方程式は狭苦しいとすると「煩わせないけど浪士だ」ということは成り立たない; fact26 -> int4: 「日米両国政府である」ものはある; int4 & fact25 -> int5: この資本蓄積方程式は狭苦しいけれど随意性でない; int5 -> int6: この資本蓄積方程式は狭苦しい; int3 & int6 -> int7: 「この資本蓄積方程式は煩わせないけれど浪士だ」ということは事実と異なる; fact23 & int7 -> int8: その火道は浪士でない; fact20 & int8 -> int9: そのマシンパワーは載せ替えるしおまけに由々しい; int9 -> int10: そのマシンパワーは載せ替える; fact24 & int10 -> int11: あの小町は載せ替える; fact22 & int11 -> int12: 「あの小町は古びないし加えてそれは通関しない」ということは成り立たない; int12 -> int13: 「「古びないし更に通関しない」ということは成り立たない」ものはある; int13 & fact28 -> int14: その陶冶は御願い致す; int2 & int14 -> hypothesis;
$facts$ = fact1: あの小町は着弾しない fact2: 仮にそのマシンパワーが御願い致すとすればその陶冶は通関するということはないかあるいは古びないかあるいは両方だ fact3: 「「日米両国政府である」ものがあるならこの資本蓄積方程式は狭苦しいがしかし随意性であるということはない」ということは確かだ fact4: もしも「この資本蓄積方程式は煩わせないけれど浪士だ」ということは嘘だとするとその火道は浪士でない fact5: もしもそのマシンパワーが載せ替えるとすればあの小町は載せ替える fact6: もし仮にそのマシンパワーが御願い致すとすればその陶冶は通関するかもしくはそれは古びない fact7: その陶冶は古びないかまたは着弾しないかあるいは両方である fact8: もし仮にあの小町は載せ替えれば「それは古びないし通関しない」ということは偽である fact9: もし「あの小町は御願い致さないしそれは載せ替えない」ということは事実と異なるならその陶冶は着弾しない fact10: 仮に何かは狭苦しいとすると「煩わせるということはなくてそれは浪士だ」ということは確かでない fact11: もしその火道が浪士でないとすればそのマシンパワーは載せ替えるしおまけにそれは由々しい fact12: この施設設置は日米両国政府である fact13: その陶冶は通関するか古びないか両方ともである fact14: 仮にそのマシンパワーが御願い致すとするとその陶冶は通関しないかあるいは古びるかまたは両方ともである fact15: もしあの小町が着弾しないとしたらそのマシンパワーは御願い致す fact16: その陶冶は通関しないかあるいは古びるかまたは両方ともだ fact17: もしも「「古びないしまた通関しない」ということは誤っている」ものがあるとするとその陶冶は御願い致す fact18: 何らかの物が御願い致すとすると着弾しない fact19: そのマシンパワーは通関しない ; $hypothesis$ = その陶冶は通関しないかもしくは古びないか両方である ; $proof$ = 
fact15 & fact1 -> int1: そのマシンパワーは御願い致す; int1 & fact2 -> hypothesis; __PROVED__
事実1: あの小町は着弾しない
事実2: 仮にそのマシンパワーが御願い致すとすればその陶冶は通関するということはないかあるいは古びないかあるいは両方だ
事実3: 「「日米両国政府である」ものがあるならこの資本蓄積方程式は狭苦しいがしかし随意性であるということはない」ということは確かだ
事実4: もしも「この資本蓄積方程式は煩わせないけれど浪士だ」ということは嘘だとするとその火道は浪士でない
事実5: もしもそのマシンパワーが載せ替えるとすればあの小町は載せ替える
事実6: もし仮にそのマシンパワーが御願い致すとすればその陶冶は通関するかもしくはそれは古びない
事実7: その陶冶は古びないかまたは着弾しないかあるいは両方である
事実8: もし仮にあの小町は載せ替えれば「それは古びないし通関しない」ということは偽である
事実9: もし「あの小町は御願い致さないしそれは載せ替えない」ということは事実と異なるならその陶冶は着弾しない
事実10: 仮に何かは狭苦しいとすると「煩わせるということはなくてそれは浪士だ」ということは確かでない
事実11: もしその火道が浪士でないとすればそのマシンパワーは載せ替えるしおまけにそれは由々しい
事実12: この施設設置は日米両国政府である
事実13: その陶冶は通関するか古びないか両方ともである
事実14: 仮にそのマシンパワーが御願い致すとするとその陶冶は通関しないかあるいは古びるかまたは両方ともである
事実15: もしあの小町が着弾しないとしたらそのマシンパワーは御願い致す
事実16: その陶冶は通関しないかあるいは古びるかまたは両方ともだ
事実17: もしも「「古びないしまた通関しない」ということは誤っている」ものがあるとするとその陶冶は御願い致す
事実18: 何らかの物が御願い致すとすると着弾しない
事実19: そのマシンパワーは通関しない

仮説: その陶冶は通関しないかもしくは古びないか両方である
1. 事実15と事実1から、推論1: "そのマシンパワーは御願い致す"が導かれる
2. 推論1と事実2から、仮説が導かれる

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