もし仮にその受動免疫が不当破棄だとすればそのＳワンは為さる
fact1: その掘削は不当破棄でない fact2: この育児支援は接近し易くない fact3: もしもそのＳワンが為さるがしかし最終解決でないとしたらその受動免疫は不当破棄でない fact4: もしもこの攻撃的行動が為さるならばあの受動免疫は為さる fact5: もし仮にその受動免疫が為さればそのＳワンは不当破棄だ fact6: 仮にその受動免疫が不当破棄であるということはないしそれが最終解決でないとすればそのＳワンは為さらない fact7: そのＳワンが為さるということはないしかつ最終解決でないとするとその受動免疫は不当破棄でない fact8: もしもこの育児支援は接近し易くないとしたら「気室であるけれど軍人らしくない」ということは真実だ fact9: もし仮にその鉄鉱が為さるがしかしそれは不当破棄だということはないとすれば「この攻撃的行動は為さる」ということは誤りでない fact10: この別物は不当破棄でない fact11: その受動免疫が最終解決でないし為さるということはないならそのＳワンは不当破棄である fact12: もし仮になにがしかの物が下ろせるとすると為さるが不当破棄でない fact13: 仮にそのＳワンが不当破棄であるとするとその受動免疫は最終解決である fact14: もし仮にそのＳワンが為さらないし加えて最終解決でないとするとその受動免疫は不当破棄である fact15: もしもこの育児支援が軍人らしいということはないしその上下ろしないとすればその鉄鉱は下ろせる fact16: この感じ方は為さらない fact17: その受動免疫は最終解決である fact18: そのＳワンは最終解決でない fact19: そのＳワンは制定過程だということはない fact20: もしも何らかのものが為さるとしたらそれは活用し易くない物であり最終解決でない fact21: 仮に「そのＳワンは不当破棄でないし加えて最終解決でない」ということは成り立つとするとその受動免疫は為さる fact22: もしその受動免疫が活用し易くないし最終解決であるということはないとすればあのＳワンは活用し易くない
void -> assump2: 以下のように仮定する。そのＳワンは為さらない; assump2 & fact18 -> int1: そのＳワンは為さらないしおまけに最終解決だということはない; int1 & fact7 -> int2: その受動免疫は不当破棄でない; void -> assump1: 以下のように仮定する。その受動免疫は不当破棄だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: そのＳワンは為さる; [assump1] & int4 -> hypothesis;
そのＳワンは活用し易くない
fact25 -> int5: もしもその受動免疫が為さるとすればそれは活用し易くないし最終解決でない; fact27 -> int6: 仮に「その鉄鉱は下ろせる」ということは誤りでないとすれば為さるしさらに不当破棄でない; fact26 & fact28 -> int7: 「この育児支援は気室だけど軍人らしくない」ということは成り立つ; int7 -> int8: 「この育児支援は軍人らしくない」ということは事実だ;
$facts$ = fact1: その掘削は不当破棄でない fact2: この育児支援は接近し易くない fact3: もしもそのＳワンが為さるがしかし最終解決でないとしたらその受動免疫は不当破棄でない fact4: もしもこの攻撃的行動が為さるならばあの受動免疫は為さる fact5: もし仮にその受動免疫が為さればそのＳワンは不当破棄だ fact6: 仮にその受動免疫が不当破棄であるということはないしそれが最終解決でないとすればそのＳワンは為さらない fact7: そのＳワンが為さるということはないしかつ最終解決でないとするとその受動免疫は不当破棄でない fact8: もしもこの育児支援は接近し易くないとしたら「気室であるけれど軍人らしくない」ということは真実だ fact9: もし仮にその鉄鉱が為さるがしかしそれは不当破棄だということはないとすれば「この攻撃的行動は為さる」ということは誤りでない fact10: この別物は不当破棄でない fact11: その受動免疫が最終解決でないし為さるということはないならそのＳワンは不当破棄である fact12: もし仮になにがしかの物が下ろせるとすると為さるが不当破棄でない fact13: 仮にそのＳワンが不当破棄であるとするとその受動免疫は最終解決である fact14: もし仮にそのＳワンが為さらないし加えて最終解決でないとするとその受動免疫は不当破棄である fact15: もしもこの育児支援が軍人らしいということはないしその上下ろしないとすればその鉄鉱は下ろせる fact16: この感じ方は為さらない fact17: その受動免疫は最終解決である fact18: そのＳワンは最終解決でない fact19: そのＳワンは制定過程だということはない fact20: もしも何らかのものが為さるとしたらそれは活用し易くない物であり最終解決でない fact21: 仮に「そのＳワンは不当破棄でないし加えて最終解決でない」ということは成り立つとするとその受動免疫は為さる fact22: もしその受動免疫が活用し易くないし最終解決であるということはないとすればあのＳワンは活用し易くない ; $hypothesis$ = もし仮にその受動免疫が不当破棄だとすればそのＳワンは為さる ; $proof$ = 
void -> assump2: 以下のように仮定する。そのＳワンは為さらない; assump2 & fact18 -> int1: そのＳワンは為さらないしおまけに最終解決だということはない; int1 & fact7 -> int2: その受動免疫は不当破棄でない; void -> assump1: 以下のように仮定する。その受動免疫は不当破棄だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: そのＳワンは為さる; [assump1] & int4 -> hypothesis; __PROVED__
事実1: その掘削は不当破棄でない
事実2: この育児支援は接近し易くない
事実3: もしもそのＳワンが為さるがしかし最終解決でないとしたらその受動免疫は不当破棄でない
事実4: もしもこの攻撃的行動が為さるならばあの受動免疫は為さる
事実5: もし仮にその受動免疫が為さればそのＳワンは不当破棄だ
事実6: 仮にその受動免疫が不当破棄であるということはないしそれが最終解決でないとすればそのＳワンは為さらない
事実7: そのＳワンが為さるということはないしかつ最終解決でないとするとその受動免疫は不当破棄でない
事実8: もしもこの育児支援は接近し易くないとしたら「気室であるけれど軍人らしくない」ということは真実だ
事実9: もし仮にその鉄鉱が為さるがしかしそれは不当破棄だということはないとすれば「この攻撃的行動は為さる」ということは誤りでない
事実10: この別物は不当破棄でない
事実11: その受動免疫が最終解決でないし為さるということはないならそのＳワンは不当破棄である
事実12: もし仮になにがしかの物が下ろせるとすると為さるが不当破棄でない
事実13: 仮にそのＳワンが不当破棄であるとするとその受動免疫は最終解決である
事実14: もし仮にそのＳワンが為さらないし加えて最終解決でないとするとその受動免疫は不当破棄である
事実15: もしもこの育児支援が軍人らしいということはないしその上下ろしないとすればその鉄鉱は下ろせる
事実16: この感じ方は為さらない
事実17: その受動免疫は最終解決である
事実18: そのＳワンは最終解決でない
事実19: そのＳワンは制定過程だということはない
事実20: もしも何らかのものが為さるとしたらそれは活用し易くない物であり最終解決でない
事実21: 仮に「そのＳワンは不当破棄でないし加えて最終解決でない」ということは成り立つとするとその受動免疫は為さる
事実22: もしその受動免疫が活用し易くないし最終解決であるということはないとすればあのＳワンは活用し易くない

仮説: もし仮にその受動免疫が不当破棄だとすればそのＳワンは為さる
1. 仮定2: 以下のように仮定する。そのＳワンは為さらない
2. 仮定2と事実18から、推論1: "そのＳワンは為さらないしおまけに最終解決だということはない"が導かれる
3. 推論1と事実7から、推論2: "その受動免疫は不当破棄でない"が導かれる
4. 仮定1: 以下のように仮定する。その受動免疫は不当破棄だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "そのＳワンは為さる"が導かれる
7. [仮定1]と推論4から、仮説が導かれる

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