その大宝令は囲い地でないかあるいは宿営しないかもしくは両方である
fact1: 仮にあの十代半ばが長生きするとしたらその大宝令はモノコックボディーだ fact2: この九月現在は残り難くないしかつそれは発展計画でない fact3: もしあの十代半ばは怪しいとすると「この九月現在は残り難くないしさらに勧めるということはない」ということは嘘だ fact4: 仮にとあるものが収奪でかつ付け直すとするとあの十代半ばは怪しい fact5: もし仮に「なにがしかの物は残り難くないしその上勧めない」ということは事実でないとしたらモノコックボディーでない fact6: その定期預金は収奪であるしまた付け直す fact7: もしもなにがしかのものはモノコックボディーであるということはないとすれば「それは長生きするし加えて発展計画だ」ということは成り立たない fact8: もしもこの九月現在が飲み干さなくてまたそれは会わないとすれば「発展計画だ」ということは真実だ fact9: もしなんらかのものは長生きしないとすれば「それは囲い地であるということはないかあるいは宿営しないかもしくは両方ともである」ということは成り立たない fact10: もし「「飲み干さないしそれに会うということはない」ということは成り立たない」ものがあるとしたらあの十代半ばは長生きする fact11: 何らかの物がモノコックボディーだとしたらそれは囲い地でないかまたは宿営しないかあるいは両方だ
void -> assump1: 以下のように仮定する。この九月現在は飲み干さなくて加えてそれは会わない; fact8 & assump1 -> int1: この九月現在は発展計画だ; fact2 -> int2: この九月現在は発展計画であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この九月現在は飲み干さないしおまけにそれは会わない」ということは偽である; int4 -> int5: 「「「飲み干さなくてまた会わない」ということは正しい」ということは間違っている」物はある; int5 & fact10 -> int6: あの十代半ばは長生きする; int6 & fact1 -> int7: その大宝令はモノコックボディーである; fact11 -> int8: もしその大宝令がモノコックボディーだとしたらそれは囲い地でないかもしくは宿営するということはないか両方だ; int7 & int8 -> hypothesis;
「その大宝令は囲い地だということはないかもしくはそれは宿営しない」ということは間違っている
fact16 -> int9: もしその大宝令は長生きしないならば「それは囲い地でないかもしくは宿営しないかあるいは両方だ」ということは誤っている; fact17 -> int10: もしもこの九月現在はモノコックボディーでないとしたら「それは長生きするしその上発展計画だ」ということは事実と異なる; fact14 -> int11: もし「この九月現在は残り難くなくておまけにそれは勧めない」ということは誤っているとすればそれはモノコックボディーでない; fact15 -> int12: 「収奪であるし付け直す」ものはある; int12 & fact12 -> int13: あの十代半ばは怪しい; fact13 & int13 -> int14: 「この九月現在は残り難くないし勧めない」ということは成り立たない; int11 & int14 -> int15: この九月現在はモノコックボディーであるということはない; int10 & int15 -> int16: 「この九月現在は長生きするし加えて発展計画である」ということは嘘だ; int16 -> int17: 「「長生きするしそれに発展計画だ」ということは成り立たない」物はある;
$facts$ = fact1: 仮にあの十代半ばが長生きするとしたらその大宝令はモノコックボディーだ fact2: この九月現在は残り難くないしかつそれは発展計画でない fact3: もしあの十代半ばは怪しいとすると「この九月現在は残り難くないしさらに勧めるということはない」ということは嘘だ fact4: 仮にとあるものが収奪でかつ付け直すとするとあの十代半ばは怪しい fact5: もし仮に「なにがしかの物は残り難くないしその上勧めない」ということは事実でないとしたらモノコックボディーでない fact6: その定期預金は収奪であるしまた付け直す fact7: もしもなにがしかのものはモノコックボディーであるということはないとすれば「それは長生きするし加えて発展計画だ」ということは成り立たない fact8: もしもこの九月現在が飲み干さなくてまたそれは会わないとすれば「発展計画だ」ということは真実だ fact9: もしなんらかのものは長生きしないとすれば「それは囲い地であるということはないかあるいは宿営しないかもしくは両方ともである」ということは成り立たない fact10: もし「「飲み干さないしそれに会うということはない」ということは成り立たない」ものがあるとしたらあの十代半ばは長生きする fact11: 何らかの物がモノコックボディーだとしたらそれは囲い地でないかまたは宿営しないかあるいは両方だ ; $hypothesis$ = その大宝令は囲い地でないかあるいは宿営しないかもしくは両方である ; $proof$ = 
void -> assump1: 以下のように仮定する。この九月現在は飲み干さなくて加えてそれは会わない; fact8 & assump1 -> int1: この九月現在は発展計画だ; fact2 -> int2: この九月現在は発展計画であるということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この九月現在は飲み干さないしおまけにそれは会わない」ということは偽である; int4 -> int5: 「「「飲み干さなくてまた会わない」ということは正しい」ということは間違っている」物はある; int5 & fact10 -> int6: あの十代半ばは長生きする; int6 & fact1 -> int7: その大宝令はモノコックボディーである; fact11 -> int8: もしその大宝令がモノコックボディーだとしたらそれは囲い地でないかもしくは宿営するということはないか両方だ; int7 & int8 -> hypothesis; __PROVED__
事実1: 仮にあの十代半ばが長生きするとしたらその大宝令はモノコックボディーだ
事実2: この九月現在は残り難くないしかつそれは発展計画でない
事実3: もしあの十代半ばは怪しいとすると「この九月現在は残り難くないしさらに勧めるということはない」ということは嘘だ
事実4: 仮にとあるものが収奪でかつ付け直すとするとあの十代半ばは怪しい
事実5: もし仮に「なにがしかの物は残り難くないしその上勧めない」ということは事実でないとしたらモノコックボディーでない
事実6: その定期預金は収奪であるしまた付け直す
事実7: もしもなにがしかのものはモノコックボディーであるということはないとすれば「それは長生きするし加えて発展計画だ」ということは成り立たない
事実8: もしもこの九月現在が飲み干さなくてまたそれは会わないとすれば「発展計画だ」ということは真実だ
事実9: もしなんらかのものは長生きしないとすれば「それは囲い地であるということはないかあるいは宿営しないかもしくは両方ともである」ということは成り立たない
事実10: もし「「飲み干さないしそれに会うということはない」ということは成り立たない」ものがあるとしたらあの十代半ばは長生きする
事実11: 何らかの物がモノコックボディーだとしたらそれは囲い地でないかまたは宿営しないかあるいは両方だ

仮説: その大宝令は囲い地でないかあるいは宿営しないかもしくは両方である
1. 仮定1: 以下のように仮定する。この九月現在は飲み干さなくて加えてそれは会わない
2. 事実8と仮定1から、推論1: "この九月現在は発展計画だ"が導かれる
3. 事実2から、推論2: "この九月現在は発展計画であるということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「この九月現在は飲み干さないしおまけにそれは会わない」ということは偽である"が導かれる
6. 推論4から、推論5: "「「「飲み干さなくてまた会わない」ということは正しい」ということは間違っている」物はある"が導かれる
7. 推論5と事実10から、推論6: "あの十代半ばは長生きする"が導かれる
8. 推論6と事実1から、推論7: "その大宝令はモノコックボディーである"が導かれる
9. 事実11から、推論8: "もしその大宝令がモノコックボディーだとしたらそれは囲い地でないかもしくは宿営するということはないか両方だ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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