「その貨物約款は桧原桜でないし自主アニメーション作家でない」ということは偽である
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: もしもその貨物約款は経費負担でないならば「それは桧原桜だけど自主アニメーション作家であるということはない」ということは誤りだ fact26: 仮にその週が入れ違うとするとこの覆面作家は市街地再開発事業でない
void -> assump1: 以下のように仮定する。その貨物約款は経費負担である; fact11 & assump1 -> int1: その週は青い; int1 -> int2: その週は青いかまたは入れ違うかもしくはどちらもである; int2 & fact2 -> int3: この覆面作家は市街地再開発事業でない; int3 & fact8 -> int4: 「この生活レベルは市街地再開発事業だしそれに初期段階である」ということは誤りである; int4 & fact12 -> int5: この生活レベルは二層式であるということはない; fact23 & fact14 -> int6: この生活レベルは二層式であるし思わしい; int6 -> int7: この生活レベルは二層式だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その貨物約款は経費負担でない; fact6 -> int10: もしもその貨物約款は経費負担でないとすれば「それは桧原桜でなくて自主アニメーション作家でない」ということは間違っている; int9 & int10 -> hypothesis;
その貨物約款は桧原桜でなくてそれに自主アニメーション作家でない
fact32 -> int11: その明言は初期段階だ; fact30 & int11 -> int12: この胃痙攣は初期段階だ; fact34 & int12 -> int13: この事件記事は入れ違う; int13 -> int14: 「入れ違う」ものはある; fact31 -> int15: なにかは大尉殿でない;
$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: もしもその貨物約款は経費負担でないならば「それは桧原桜だけど自主アニメーション作家であるということはない」ということは誤りだ fact26: 仮にその週が入れ違うとするとこの覆面作家は市街地再開発事業でない ; $hypothesis$ = 「その貨物約款は桧原桜でないし自主アニメーション作家でない」ということは偽である ; $proof$ = 
void -> assump1: 以下のように仮定する。その貨物約款は経費負担である; fact11 & assump1 -> int1: その週は青い; int1 -> int2: その週は青いかまたは入れ違うかもしくはどちらもである; int2 & fact2 -> int3: この覆面作家は市街地再開発事業でない; int3 & fact8 -> int4: 「この生活レベルは市街地再開発事業だしそれに初期段階である」ということは誤りである; int4 & fact12 -> int5: この生活レベルは二層式であるということはない; fact23 & fact14 -> int6: この生活レベルは二層式であるし思わしい; int6 -> int7: この生活レベルは二層式だ; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その貨物約款は経費負担でない; fact6 -> int10: もしもその貨物約款は経費負担でないとすれば「それは桧原桜でなくて自主アニメーション作家でない」ということは間違っている; int9 & int10 -> 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: もしもその貨物約款は経費負担でないならば「それは桧原桜だけど自主アニメーション作家であるということはない」ということは誤りだ
事実26: 仮にその週が入れ違うとするとこの覆面作家は市街地再開発事業でない

仮説: 「その貨物約款は桧原桜でないし自主アニメーション作家でない」ということは偽である
1. 仮定1: 以下のように仮定する。その貨物約款は経費負担である
2. 事実11と仮定1から、推論1: "その週は青い"が導かれる
3. 推論1から、推論2: "その週は青いかまたは入れ違うかもしくはどちらもである"が導かれる
4. 推論2と事実2から、推論3: "この覆面作家は市街地再開発事業でない"が導かれる
5. 推論3と事実8から、推論4: "「この生活レベルは市街地再開発事業だしそれに初期段階である」ということは誤りである"が導かれる
6. 推論4と事実12から、推論5: "この生活レベルは二層式であるということはない"が導かれる
7. 事実23と事実14から、推論6: "この生活レベルは二層式であるし思わしい"が導かれる
8. 推論6から、推論7: "この生活レベルは二層式だ"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その貨物約款は経費負担でない"が導かれる
11. 事実6から、推論10: "もしもその貨物約款は経費負担でないとすれば「それは桧原桜でなくて自主アニメーション作家でない」ということは間違っている"が導かれる
12. 推論9と推論10から、仮説が導かれる

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