「この原因不明は推測するかまたは電荷分布でない」ということは成り立つということはない
fact1: もしもなんらかのものは未成熟でないならば「それはエロくないしおまけにケーススタディでない」ということは成り立たない fact2: 「あの世界秩序は怠いけど鹿児島出身だということはない」ということは間違っている fact3: もしもあの中年男性が馬寮でないならあの独裁国は同期化するし手解きする fact4: もしある物がＢＰだということはないとしたら推測するか電荷分布でないかもしくは両方である fact5: 仮にあの文法形式がエロいということはないならばこの原因不明は怠い fact6: あの独裁国が同期化するし手解きするとしたらあの世界秩序は休職するということはない fact7: この原因不明は電荷分布であるかあるいは怠いということはないかもしくは両方ともだ fact8: もしも「あの世界秩序は怠いが鹿児島出身でない」ということは成り立たないとするとＢＰでない fact9: もし仮に「あの世界秩序はエロいということはないしケーススタディであるということはない」ということは誤りだとすればあの文法形式はエロくない fact10: 仮にこの原因不明が推測するとしたらあの世界秩序はＢＰだ fact11: もし仮にあの世界秩序が怠くないならばＢＰでない fact12: 「その分会は焦がすか鹿児島出身であるということはないかもしくはどちらもである」ということは間違っている fact13: 何かは身軽くなくて話し込まない fact14: この原因不明は最終意思である fact15: 「あの世界秩序は推測するかまたは怠くらない」ということは成り立たない fact16: もしもあの世界秩序が推測するということはないとすればこの原因不明はＢＰだ fact17: この特許期間満了は重層化しない fact18: もしこの特許期間満了が重層化しなくてそれにそれが発現し易くないならあの中年男性は馬寮でない fact19: もし仮に「何らかのものは天使らしくないかまたは事業全体でない」ということは正しいということはないなら「未成熟でない」ということは事実である fact20: もしなにがしかのものは休職しないとすると「天使らしくないかもしくはそれは事業全体でない」ということは事実と異なる fact21: もし仮にあの世界秩序が電荷分布ならばこの原因不明はＢＰだ fact22: もし仮にこの原因不明が鹿児島出身でないとしたらあの世界秩序は電荷分布だ fact23: もし仮にこの原因不明が電荷分布であるということはないとしたらあの世界秩序はＢＰだ
void -> assump1: 以下のように仮定する。この原因不明は推測するか電荷分布だということはないかどちらもだ; assump1 & fact10 & fact23 -> int1: あの世界秩序はＢＰである; fact2 & fact8 -> int2: あの世界秩序はＢＰでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ({A}{a} v ¬{B}{a}); assump1 & fact10 & fact23 -> int1: {C}{c}; fact2 & fact8 -> int2: ¬{C}{c}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この原因不明は推測するかあるいはそれは電荷分布でないかどちらもである
fact33 -> int4: もしこの原因不明がＢＰでないとすればそれは推測するかあるいは電荷分布でない; fact29 -> int5: もしあの世界秩序は未成熟でないとすれば「それがエロくないしさらにそれはケーススタディでない」ということは成り立つということはない; fact28 -> int6: もし「あの世界秩序は天使らしくないかそれは事業全体でない」ということは誤っていれば未成熟でない; fact31 -> int7: もしあの世界秩序は休職しないなら「天使らしくないかまたは事業全体であるということはないかあるいは両方だ」ということは嘘である;
$facts$ = fact1: もしもなんらかのものは未成熟でないならば「それはエロくないしおまけにケーススタディでない」ということは成り立たない fact2: 「あの世界秩序は怠いけど鹿児島出身だということはない」ということは間違っている fact3: もしもあの中年男性が馬寮でないならあの独裁国は同期化するし手解きする fact4: もしある物がＢＰだということはないとしたら推測するか電荷分布でないかもしくは両方である fact5: 仮にあの文法形式がエロいということはないならばこの原因不明は怠い fact6: あの独裁国が同期化するし手解きするとしたらあの世界秩序は休職するということはない fact7: この原因不明は電荷分布であるかあるいは怠いということはないかもしくは両方ともだ fact8: もしも「あの世界秩序は怠いが鹿児島出身でない」ということは成り立たないとするとＢＰでない fact9: もし仮に「あの世界秩序はエロいということはないしケーススタディであるということはない」ということは誤りだとすればあの文法形式はエロくない fact10: 仮にこの原因不明が推測するとしたらあの世界秩序はＢＰだ fact11: もし仮にあの世界秩序が怠くないならばＢＰでない fact12: 「その分会は焦がすか鹿児島出身であるということはないかもしくはどちらもである」ということは間違っている fact13: 何かは身軽くなくて話し込まない fact14: この原因不明は最終意思である fact15: 「あの世界秩序は推測するかまたは怠くらない」ということは成り立たない fact16: もしもあの世界秩序が推測するということはないとすればこの原因不明はＢＰだ fact17: この特許期間満了は重層化しない fact18: もしこの特許期間満了が重層化しなくてそれにそれが発現し易くないならあの中年男性は馬寮でない fact19: もし仮に「何らかのものは天使らしくないかまたは事業全体でない」ということは正しいということはないなら「未成熟でない」ということは事実である fact20: もしなにがしかのものは休職しないとすると「天使らしくないかもしくはそれは事業全体でない」ということは事実と異なる fact21: もし仮にあの世界秩序が電荷分布ならばこの原因不明はＢＰだ fact22: もし仮にこの原因不明が鹿児島出身でないとしたらあの世界秩序は電荷分布だ fact23: もし仮にこの原因不明が電荷分布であるということはないとしたらあの世界秩序はＢＰだ ; $hypothesis$ = 「この原因不明は推測するかまたは電荷分布でない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この原因不明は推測するか電荷分布だということはないかどちらもだ; assump1 & fact10 & fact23 -> int1: あの世界秩序はＢＰである; fact2 & fact8 -> int2: あの世界秩序はＢＰでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> 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: もし仮にこの原因不明が電荷分布であるということはないとしたらあの世界秩序はＢＰだ

仮説: 「この原因不明は推測するかまたは電荷分布でない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この原因不明は推測するか電荷分布だということはないかどちらもだ
2. 仮定1と事実10と事実23から、推論1: "あの世界秩序はＢＰである"が導かれる
3. 事実2と事実8から、推論2: "あの世界秩序はＢＰでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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