その人口ピラミッドは罪深いけれど諸家であるということはない
fact1: 仮にこの理論面がフタル酸エステルでないとするとそのネイルサロンはアセトアルデヒドだ fact2: もし仮にこの理論面が仕方無くないならばそのネイルサロンはアセトアルデヒドである fact3: もし仮にその旧約聖書が捕獲するとするとこの理論面は仕方無くないかあるいはフタル酸エステルであるということはないか両方だ fact4: もしその旧約聖書が捕獲しないならばその人口ピラミッドは罪深いけど諸家でない fact5: あの京大経済学部は放置出来る fact6: もしも「あの食性は寺院建築で罪深い」ということは偽であるならその人口ピラミッドは捕獲しない fact7: 「アセトアルデヒドは寺院建築でない」ということは確かである fact8: 「そのネイルサロンは放置出来る一方でそれはアセトアルデヒドでない」ということは確かでないとしたらこの理論面はアセトアルデヒドでない fact9: もしもそのネイルサロンは寺院建築でないならば「あの食性が寺院建築だしさらにそれは楽しい」ということは偽である fact10: この理論面がアセトアルデヒドでないとするとその旧約聖書は諸家であるしおまけに捕獲する fact11: その唐代伝奇は放置出来る fact12: 仮に「あの食性は寺院建築であるしそれは楽しい」ということは誤っているとしたらその唐代伝奇は放置出来ない fact13: もしも「その人口ピラミッドは罪深いししかもそれは放置出来る」ということは成り立たないなら「そのネイルサロンはアセトアルデヒドでない」ということは事実だ
void -> assump1: 以下のように仮定する。その旧約聖書は捕獲する; fact3 & assump1 -> int1: この理論面は仕方無いということはないかまたはそれはフタル酸エステルでないかあるいは両方だ; int1 & fact2 & fact1 -> int2: そのネイルサロンはアセトアルデヒドである; fact7 -> int3: 「そのネイルサロンがアセトアルデヒドであるとするとそのネイルサロンは寺院建築でない」ということは確かだ; int2 & int3 -> int4: そのネイルサロンは寺院建築でない; int4 & fact9 -> int5: 「あの食性は寺院建築でしかもそれは楽しい」ということは成り立たない; int5 & fact12 -> int6: その唐代伝奇は放置出来ない; int6 & fact11 -> int7: これは矛盾である; [assump1] & int7 -> int8: その旧約聖書は捕獲しない; int8 & fact4 -> hypothesis;
「「その人口ピラミッドは罪深いがしかし諸家だということはない」ということは真実でない」ということは成り立つ
$facts$ = fact1: 仮にこの理論面がフタル酸エステルでないとするとそのネイルサロンはアセトアルデヒドだ fact2: もし仮にこの理論面が仕方無くないならばそのネイルサロンはアセトアルデヒドである fact3: もし仮にその旧約聖書が捕獲するとするとこの理論面は仕方無くないかあるいはフタル酸エステルであるということはないか両方だ fact4: もしその旧約聖書が捕獲しないならばその人口ピラミッドは罪深いけど諸家でない fact5: あの京大経済学部は放置出来る fact6: もしも「あの食性は寺院建築で罪深い」ということは偽であるならその人口ピラミッドは捕獲しない fact7: 「アセトアルデヒドは寺院建築でない」ということは確かである fact8: 「そのネイルサロンは放置出来る一方でそれはアセトアルデヒドでない」ということは確かでないとしたらこの理論面はアセトアルデヒドでない fact9: もしもそのネイルサロンは寺院建築でないならば「あの食性が寺院建築だしさらにそれは楽しい」ということは偽である fact10: この理論面がアセトアルデヒドでないとするとその旧約聖書は諸家であるしおまけに捕獲する fact11: その唐代伝奇は放置出来る fact12: 仮に「あの食性は寺院建築であるしそれは楽しい」ということは誤っているとしたらその唐代伝奇は放置出来ない fact13: もしも「その人口ピラミッドは罪深いししかもそれは放置出来る」ということは成り立たないなら「そのネイルサロンはアセトアルデヒドでない」ということは事実だ ; $hypothesis$ = その人口ピラミッドは罪深いけれど諸家であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その旧約聖書は捕獲する; fact3 & assump1 -> int1: この理論面は仕方無いということはないかまたはそれはフタル酸エステルでないかあるいは両方だ; int1 & fact2 & fact1 -> int2: そのネイルサロンはアセトアルデヒドである; fact7 -> int3: 「そのネイルサロンがアセトアルデヒドであるとするとそのネイルサロンは寺院建築でない」ということは確かだ; int2 & int3 -> int4: そのネイルサロンは寺院建築でない; int4 & fact9 -> int5: 「あの食性は寺院建築でしかもそれは楽しい」ということは成り立たない; int5 & fact12 -> int6: その唐代伝奇は放置出来ない; int6 & fact11 -> int7: これは矛盾である; [assump1] & int7 -> int8: その旧約聖書は捕獲しない; int8 & fact4 -> hypothesis; __PROVED__
事実1: 仮にこの理論面がフタル酸エステルでないとするとそのネイルサロンはアセトアルデヒドだ
事実2: もし仮にこの理論面が仕方無くないならばそのネイルサロンはアセトアルデヒドである
事実3: もし仮にその旧約聖書が捕獲するとするとこの理論面は仕方無くないかあるいはフタル酸エステルであるということはないか両方だ
事実4: もしその旧約聖書が捕獲しないならばその人口ピラミッドは罪深いけど諸家でない
事実5: あの京大経済学部は放置出来る
事実6: もしも「あの食性は寺院建築で罪深い」ということは偽であるならその人口ピラミッドは捕獲しない
事実7: 「アセトアルデヒドは寺院建築でない」ということは確かである
事実8: 「そのネイルサロンは放置出来る一方でそれはアセトアルデヒドでない」ということは確かでないとしたらこの理論面はアセトアルデヒドでない
事実9: もしもそのネイルサロンは寺院建築でないならば「あの食性が寺院建築だしさらにそれは楽しい」ということは偽である
事実10: この理論面がアセトアルデヒドでないとするとその旧約聖書は諸家であるしおまけに捕獲する
事実11: その唐代伝奇は放置出来る
事実12: 仮に「あの食性は寺院建築であるしそれは楽しい」ということは誤っているとしたらその唐代伝奇は放置出来ない
事実13: もしも「その人口ピラミッドは罪深いししかもそれは放置出来る」ということは成り立たないなら「そのネイルサロンはアセトアルデヒドでない」ということは事実だ

仮説: その人口ピラミッドは罪深いけれど諸家であるということはない
1. 仮定1: 以下のように仮定する。その旧約聖書は捕獲する
2. 事実3と仮定1から、推論1: "この理論面は仕方無いということはないかまたはそれはフタル酸エステルでないかあるいは両方だ"が導かれる
3. 推論1と事実2と事実1から、推論2: "そのネイルサロンはアセトアルデヒドである"が導かれる
4. 事実7から、推論3: "「そのネイルサロンがアセトアルデヒドであるとするとそのネイルサロンは寺院建築でない」ということは確かだ"が導かれる
5. 推論2と推論3から、推論4: "そのネイルサロンは寺院建築でない"が導かれる
6. 推論4と事実9から、推論5: "「あの食性は寺院建築でしかもそれは楽しい」ということは成り立たない"が導かれる
7. 推論5と事実12から、推論6: "その唐代伝奇は放置出来ない"が導かれる
8. 推論6と事実11から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その旧約聖書は捕獲しない"が導かれる
10. 推論8と事実4から、仮説が導かれる

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