もしも「その吸収は暮らし出さないけど隼である」ということは成り立たないとすると「この活動形態は実現し易くない」ということは事実だ
fact1: その吸収が暮らし出さない一方で隼だとすればあの活動形態は押さえ兼ねるということはない fact2: もし仮に何らかの物が船室であるということはないならばそれは実現し易くてそれは押さえ兼ねない fact3: この活動形態は審査しない fact4: 「その吸収は暮らし出すし加えて隼である」ということは正しくない fact5: 仮にこの活動形態がレポートしないとすれば審査しない fact6: その吸収は安し fact7: 仮になにがしかのものがレポートするということはないとすれば審査しない fact8: もしなにかはレポートしないとすればそれは審査するということはないしそれは貯留しない fact9: もしもその吸収が貯留しないならば締め切らなくて更に隼であるということはない fact10: もし仮にその吸収が暮らし出すとするとこの活動形態は実現し易くない fact11: この活動形態がすばしっこくないならばそれは甲状でないしさらに躙り寄らない fact12: もしもこの活動形態は実現し易い一方で押さえ兼ねないならそれは船室でない fact13: 何らかの物は実現し易いがしかし押さえ兼ねないならば隼でない fact14: もしもなにがしかの物は締め切るということはないとすれば「それは船室でないしその上貯留しない」ということは間違いである fact15: この活動形態は締め切らない fact16: もしもなにがしかのものは暮らし出さないならば「それは船室でなくておまけに審査しない」ということは事実だということはない fact17: その吸収は船室だ fact18: その吸収が暮らし出すということはない一方でそれが隼であるとするとこの活動形態は実現し易くない fact19: もし仮にその吸収が暮らし出せばこの活動形態は押さえ兼ねない fact20: もしもこの同義が実現し易いということはないなら欠落であるということはなくて更に船室でない fact21: この活動形態はレポートしない fact22: もし「その吸収は暮らし出さない一方で隼である」ということは確かでないとすればあの活動形態は押さえ兼ねない fact23: もしその吸収がレポートしないとすればそれは審査しないし更に暮らし出さない fact24: その吸収は隼でない fact25: あの筆者所蔵は締め切らない
void -> assump1: 以下のように仮定する。「「その吸収は暮らし出さないがしかし隼だ」ということは真実である」ということは誤りだ; fact22 & assump1 -> int1: 「この活動形態は押さえ兼ねない」ということは確かである; void -> assump2: 以下のように仮定する。この活動形態は実現し易い; int1 & assump2 -> int2: この活動形態は実現し易いけど押さえ兼ねない; int2 & fact12 -> int3: この活動形態は船室でない; fact8 -> int4: もしこの活動形態がレポートしないとすればそれは審査しないしおまけにそれは貯留しない; fact21 & int4 -> int5: この活動形態は審査しないしそれは貯留しない; int5 -> int6: この活動形態は貯留しない; int3 & int6 -> int7: この活動形態は船室でなくてしかも貯留しない; fact14 -> int8: 仮にこの活動形態は締め切るということはないなら「それは船室でないしそれは貯留しない」ということは成り立つということはない; int8 & fact15 -> int9: 「この活動形態は船室でなくてかつそれは貯留しない」ということは成り立たない; int7 & int9 -> int10: これは矛盾である; [assump2] & int10 -> int11: この活動形態は実現し易くない; [assump1] & int11 -> hypothesis;
あの再確認は隼でない
fact27 -> int12: 仮にあの再確認が実現し易いけれどそれが押さえ兼ねないなら隼でない; fact26 -> int13: 仮にあの再確認が船室だということはないとすればそれは実現し易いが押さえ兼ねない;
$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: その吸収は隼でない fact25: あの筆者所蔵は締め切らない ; $hypothesis$ = もしも「その吸収は暮らし出さないけど隼である」ということは成り立たないとすると「この活動形態は実現し易くない」ということは事実だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「「その吸収は暮らし出さないがしかし隼だ」ということは真実である」ということは誤りだ; fact22 & assump1 -> int1: 「この活動形態は押さえ兼ねない」ということは確かである; void -> assump2: 以下のように仮定する。この活動形態は実現し易い; int1 & assump2 -> int2: この活動形態は実現し易いけど押さえ兼ねない; int2 & fact12 -> int3: この活動形態は船室でない; fact8 -> int4: もしこの活動形態がレポートしないとすればそれは審査しないしおまけにそれは貯留しない; fact21 & int4 -> int5: この活動形態は審査しないしそれは貯留しない; int5 -> int6: この活動形態は貯留しない; int3 & int6 -> int7: この活動形態は船室でなくてしかも貯留しない; fact14 -> int8: 仮にこの活動形態は締め切るということはないなら「それは船室でないしそれは貯留しない」ということは成り立つということはない; int8 & fact15 -> int9: 「この活動形態は船室でなくてかつそれは貯留しない」ということは成り立たない; int7 & int9 -> int10: これは矛盾である; [assump2] & int10 -> int11: この活動形態は実現し易くない; [assump1] & int11 -> 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: その吸収は隼でない
事実25: あの筆者所蔵は締め切らない

仮説: もしも「その吸収は暮らし出さないけど隼である」ということは成り立たないとすると「この活動形態は実現し易くない」ということは事実だ
1. 仮定1: 以下のように仮定する。「「その吸収は暮らし出さないがしかし隼だ」ということは真実である」ということは誤りだ
2. 事実22と仮定1から、推論1: "「この活動形態は押さえ兼ねない」ということは確かである"が導かれる
3. 仮定2: 以下のように仮定する。この活動形態は実現し易い
4. 推論1と仮定2から、推論2: "この活動形態は実現し易いけど押さえ兼ねない"が導かれる
5. 推論2と事実12から、推論3: "この活動形態は船室でない"が導かれる
6. 事実8から、推論4: "もしこの活動形態がレポートしないとすればそれは審査しないしおまけにそれは貯留しない"が導かれる
7. 事実21と推論4から、推論5: "この活動形態は審査しないしそれは貯留しない"が導かれる
8. 推論5から、推論6: "この活動形態は貯留しない"が導かれる
9. 推論3と推論6から、推論7: "この活動形態は船室でなくてしかも貯留しない"が導かれる
10. 事実14から、推論8: "仮にこの活動形態は締め切るということはないなら「それは船室でないしそれは貯留しない」ということは成り立つということはない"が導かれる
11. 推論8と事実15から、推論9: "「この活動形態は船室でなくてかつそれは貯留しない」ということは成り立たない"が導かれる
12. 推論7と推論9から、推論10: "これは矛盾である"が導かれる
13. [仮定2]と推論10から、推論11: "この活動形態は実現し易くない"が導かれる
14. [仮定1]と推論11から、仮説が導かれる

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