この新婦は余人だ
fact1: 「「両立するということはないかあるいは合併出来ないか両方だ」ということは成り立たない」ものがあるとするとこの戦時経済体制はらりる fact2: 「懐かしい」ものはある fact3: この最高度は国債発行残高であるとすると「この戦時経済体制は容易いがし辛くない」ということは偽である fact4: もし「なにがしかの物はらりるかそれは合併出来ないかあるいはどちらもである」ということは間違いだとすれば「それは両立しない」ということは真実だ fact5: 仮にこの戦時経済体制が重いならばこの新婦は余人である fact6: もし仮にあのスケジュール事例が重くないなららりるし合併出来る fact7: もしもとあるものは余人でないならば「らりるかもしくはそれは合併出来ないかまたは両方だ」ということは成り立たない fact8: もしもなにがしかのものはらりれば重い fact9: 「余人な」物はある fact10: この新婦は余人だということはないかあるいは容易くない fact11: 仮に「この戦時経済体制は容易い一方でし辛くない」ということは成り立つということはないとすればあのスケジュール事例は重くない fact12: 仮にこの最高度が株式会社化するとすればそれは国債発行残高だ fact13: 「懐かしくない」ものはある fact14: もし仮に何かは懐かしくないとすれば「あのスケジュール事例は両立しないかまたはそれは合併出来ない」ということは誤っている
fact13 & fact14 -> int1: 「あのスケジュール事例は両立しないか合併出来ないかまたは両方ともである」ということは偽である; int1 -> int2: 「「両立しないかあるいは合併出来るということはないかまたは両方ともだ」ということは成り立たない」ものはある; int2 & fact1 -> int3: この戦時経済体制はらりる; fact8 -> int4: もしもこの戦時経済体制がらりるならそれは重い; int3 & int4 -> int5: この戦時経済体制は重い; int5 & fact5 -> hypothesis;
「あのスケジュール事例は重い」ということは成り立つ
fact17 -> int6: 「この戦時経済体制はらりるかまたはそれは合併出来ないかあるいは両方だ」ということは間違いであるとすればそれは両立しない; fact15 -> int7: もしもこの戦時経済体制は余人でないとすると「それはらりるかまたはそれは合併出来ない」ということは本当でない;
$facts$ = fact1: 「「両立するということはないかあるいは合併出来ないか両方だ」ということは成り立たない」ものがあるとするとこの戦時経済体制はらりる fact2: 「懐かしい」ものはある fact3: この最高度は国債発行残高であるとすると「この戦時経済体制は容易いがし辛くない」ということは偽である fact4: もし「なにがしかの物はらりるかそれは合併出来ないかあるいはどちらもである」ということは間違いだとすれば「それは両立しない」ということは真実だ fact5: 仮にこの戦時経済体制が重いならばこの新婦は余人である fact6: もし仮にあのスケジュール事例が重くないなららりるし合併出来る fact7: もしもとあるものは余人でないならば「らりるかもしくはそれは合併出来ないかまたは両方だ」ということは成り立たない fact8: もしもなにがしかのものはらりれば重い fact9: 「余人な」物はある fact10: この新婦は余人だということはないかあるいは容易くない fact11: 仮に「この戦時経済体制は容易い一方でし辛くない」ということは成り立つということはないとすればあのスケジュール事例は重くない fact12: 仮にこの最高度が株式会社化するとすればそれは国債発行残高だ fact13: 「懐かしくない」ものはある fact14: もし仮に何かは懐かしくないとすれば「あのスケジュール事例は両立しないかまたはそれは合併出来ない」ということは誤っている ; $hypothesis$ = この新婦は余人だ ; $proof$ = 
fact13 & fact14 -> int1: 「あのスケジュール事例は両立しないか合併出来ないかまたは両方ともである」ということは偽である; int1 -> int2: 「「両立しないかあるいは合併出来るということはないかまたは両方ともだ」ということは成り立たない」ものはある; int2 & fact1 -> int3: この戦時経済体制はらりる; fact8 -> int4: もしもこの戦時経済体制がらりるならそれは重い; int3 & int4 -> int5: この戦時経済体制は重い; int5 & fact5 -> hypothesis; __PROVED__
事実1: 「「両立するということはないかあるいは合併出来ないか両方だ」ということは成り立たない」ものがあるとするとこの戦時経済体制はらりる
事実2: 「懐かしい」ものはある
事実3: この最高度は国債発行残高であるとすると「この戦時経済体制は容易いがし辛くない」ということは偽である
事実4: もし「なにがしかの物はらりるかそれは合併出来ないかあるいはどちらもである」ということは間違いだとすれば「それは両立しない」ということは真実だ
事実5: 仮にこの戦時経済体制が重いならばこの新婦は余人である
事実6: もし仮にあのスケジュール事例が重くないなららりるし合併出来る
事実7: もしもとあるものは余人でないならば「らりるかもしくはそれは合併出来ないかまたは両方だ」ということは成り立たない
事実8: もしもなにがしかのものはらりれば重い
事実9: 「余人な」物はある
事実10: この新婦は余人だということはないかあるいは容易くない
事実11: 仮に「この戦時経済体制は容易い一方でし辛くない」ということは成り立つということはないとすればあのスケジュール事例は重くない
事実12: 仮にこの最高度が株式会社化するとすればそれは国債発行残高だ
事実13: 「懐かしくない」ものはある
事実14: もし仮に何かは懐かしくないとすれば「あのスケジュール事例は両立しないかまたはそれは合併出来ない」ということは誤っている

仮説: この新婦は余人だ
1. 事実13と事実14から、推論1: "「あのスケジュール事例は両立しないか合併出来ないかまたは両方ともである」ということは偽である"が導かれる
2. 推論1から、推論2: "「「両立しないかあるいは合併出来るということはないかまたは両方ともだ」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実1から、推論3: "この戦時経済体制はらりる"が導かれる
4. 事実8から、推論4: "もしもこの戦時経済体制がらりるならそれは重い"が導かれる
5. 推論3と推論4から、推論5: "この戦時経済体制は重い"が導かれる
6. 推論5と事実5から、仮説が導かれる

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