この詩文は原子内であるし更に平行宇宙である
fact1: その後手後手は料理する fact2: もし仮に「卑しい」物があればこの詩文は料理する fact3: ソーシャルワーカー協会は時刻でないけど児童自身である fact4: 通じ易いか崩れ易くないかどちらもであるものは崩れ易くない fact5: 「その発振周波数は原子内だしまた崩れ易い」ということは嘘である fact6: その一工夫は貴方らしくない fact7: この投資計画は彼女らしいしそれにそれは軽し fact8: 仮に「「「卑しいということはない原子内だ」ということは事実だ」ということは誤りな」ものがあるとしたらこの五十床未満はソーシャルワーカー協会だ fact9: もし仮にその発振周波数が平行宇宙ならばこの詩文は通じ易い fact10: もしもその発振周波数は過失犯であるとしたら「それは通じ易いかもしくはそれは崩れ易くないかどちらもである」ということは真実である fact11: もしこの五十床未満がソーシャルワーカー協会であるならばその一工夫は料理する fact12: もしその一工夫が料理すればその発振周波数は崩れ易い fact13: もしもあるものがソーシャルワーカー協会だとするとこの五十床未満は卑しい fact14: その発振周波数は過失犯だ fact15: 「この詩文は平行宇宙だ」ということは本当だ
void -> assump1: 以下のように仮定する。「この詩文は卑しくない一方で原子内だ」ということは成り立たない; assump1 -> int1: 「「卑しくないけれど原子内だ」ということは偽な」物はある; int1 & fact8 -> int2: この五十床未満はソーシャルワーカー協会だ; int2 & fact11 -> int3: その一工夫は料理する; int3 & fact12 -> int4: その発振周波数は崩れ易い; fact4 -> int5: もし仮にその発振周波数が通じ易いかあるいは崩れ易くないとすれば崩れ易いということはない; fact14 & fact10 -> int6: その発振周波数は通じ易いかもしくは崩れ易くないかまたはどちらもである; int5 & int6 -> int7: その発振周波数は崩れ易くない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この詩文は卑しくないけど原子内である; int9 -> int10: この詩文は原子内だ; int10 & fact15 -> hypothesis;
その映写機は時刻でないけれどそれは児童自身である
fact16 -> int11: その映写機がソーシャルワーカー協会だとするとそれは時刻でなくてその上児童自身である;
$facts$ = fact1: その後手後手は料理する fact2: もし仮に「卑しい」物があればこの詩文は料理する fact3: ソーシャルワーカー協会は時刻でないけど児童自身である fact4: 通じ易いか崩れ易くないかどちらもであるものは崩れ易くない fact5: 「その発振周波数は原子内だしまた崩れ易い」ということは嘘である fact6: その一工夫は貴方らしくない fact7: この投資計画は彼女らしいしそれにそれは軽し fact8: 仮に「「「卑しいということはない原子内だ」ということは事実だ」ということは誤りな」ものがあるとしたらこの五十床未満はソーシャルワーカー協会だ fact9: もし仮にその発振周波数が平行宇宙ならばこの詩文は通じ易い fact10: もしもその発振周波数は過失犯であるとしたら「それは通じ易いかもしくはそれは崩れ易くないかどちらもである」ということは真実である fact11: もしこの五十床未満がソーシャルワーカー協会であるならばその一工夫は料理する fact12: もしその一工夫が料理すればその発振周波数は崩れ易い fact13: もしもあるものがソーシャルワーカー協会だとするとこの五十床未満は卑しい fact14: その発振周波数は過失犯だ fact15: 「この詩文は平行宇宙だ」ということは本当だ ; $hypothesis$ = この詩文は原子内であるし更に平行宇宙である ; $proof$ = 
void -> assump1: 以下のように仮定する。「この詩文は卑しくない一方で原子内だ」ということは成り立たない; assump1 -> int1: 「「卑しくないけれど原子内だ」ということは偽な」物はある; int1 & fact8 -> int2: この五十床未満はソーシャルワーカー協会だ; int2 & fact11 -> int3: その一工夫は料理する; int3 & fact12 -> int4: その発振周波数は崩れ易い; fact4 -> int5: もし仮にその発振周波数が通じ易いかあるいは崩れ易くないとすれば崩れ易いということはない; fact14 & fact10 -> int6: その発振周波数は通じ易いかもしくは崩れ易くないかまたはどちらもである; int5 & int6 -> int7: その発振周波数は崩れ易くない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この詩文は卑しくないけど原子内である; int9 -> int10: この詩文は原子内だ; int10 & fact15 -> hypothesis; __PROVED__
事実1: その後手後手は料理する
事実2: もし仮に「卑しい」物があればこの詩文は料理する
事実3: ソーシャルワーカー協会は時刻でないけど児童自身である
事実4: 通じ易いか崩れ易くないかどちらもであるものは崩れ易くない
事実5: 「その発振周波数は原子内だしまた崩れ易い」ということは嘘である
事実6: その一工夫は貴方らしくない
事実7: この投資計画は彼女らしいしそれにそれは軽し
事実8: 仮に「「「卑しいということはない原子内だ」ということは事実だ」ということは誤りな」ものがあるとしたらこの五十床未満はソーシャルワーカー協会だ
事実9: もし仮にその発振周波数が平行宇宙ならばこの詩文は通じ易い
事実10: もしもその発振周波数は過失犯であるとしたら「それは通じ易いかもしくはそれは崩れ易くないかどちらもである」ということは真実である
事実11: もしこの五十床未満がソーシャルワーカー協会であるならばその一工夫は料理する
事実12: もしその一工夫が料理すればその発振周波数は崩れ易い
事実13: もしもあるものがソーシャルワーカー協会だとするとこの五十床未満は卑しい
事実14: その発振周波数は過失犯だ
事実15: 「この詩文は平行宇宙だ」ということは本当だ

仮説: この詩文は原子内であるし更に平行宇宙である
1. 仮定1: 以下のように仮定する。「この詩文は卑しくない一方で原子内だ」ということは成り立たない
2. 仮定1から、推論1: "「「卑しくないけれど原子内だ」ということは偽な」物はある"が導かれる
3. 推論1と事実8から、推論2: "この五十床未満はソーシャルワーカー協会だ"が導かれる
4. 推論2と事実11から、推論3: "その一工夫は料理する"が導かれる
5. 推論3と事実12から、推論4: "その発振周波数は崩れ易い"が導かれる
6. 事実4から、推論5: "もし仮にその発振周波数が通じ易いかあるいは崩れ易くないとすれば崩れ易いということはない"が導かれる
7. 事実14と事実10から、推論6: "その発振周波数は通じ易いかもしくは崩れ易くないかまたはどちらもである"が導かれる
8. 推論5と推論6から、推論7: "その発振周波数は崩れ易くない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この詩文は卑しくないけど原子内である"が導かれる
11. 推論9から、推論10: "この詩文は原子内だ"が導かれる
12. 推論10と事実15から、仮説が導かれる

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