この被用者年金は忍び踊りでない
fact1: 「その新生代は捕らえ易いがしかし通電するということはない」ということは成り立たない fact2: もしも「とある物は二層式でない」ということは確かだとしたらなあいし加えてそれは母親らしい fact3: そのカンヌ映画祭は通電する fact4: 仮にその新生代は女王様であるか炊き上がらないとしたら母親らしい fact5: 母親らしい物は捕らえ易いならば「それは二層式でない」ということは真実である fact6: その新生代が忘れっぽいとするとそれは女王様であるかもしくは炊き上がらない fact7: もし仮になあいものが母親らしいならばそれは忍び踊りでない fact8: もし仮にその新生代が欲深いということはないとしたらこの被用者年金は二層式でない fact9: もしこの被用者年金は居住地国である一方で銀イオンでないならば「この大顎は銀イオンでない」ということは本当である fact10: 仮にその新生代が母親らしいとすればこの大顎は母親らしい fact11: もし仮にとあるものは二層式でないとしたら「それは通電しないかあるいはそれはあざといかまたは両方ともだ」ということは成り立たない fact12: もし仮に「その新生代は捕らえ易いがしかしそれは通電しない」ということは成り立たないなら「それは捕らえ易くない」ということは本当だ fact13: その新生代が欲深くないかそれがヒッチハイクするとすればあの被用者年金は二層式でない fact14: もし「その新生代は欲深くないかまたはヒッチハイクするかまたは両方だ」ということは事実と異なるとしたらそれは捕らえ易い fact15: もし「なんらかのものは忍び踊りでないがなあい」ということは成り立たないとしたら「捕らえ易い」ということは本当である fact16: この被用者年金はなあい fact17: もし仮に「その新生代は忍び踊りである」ということは成り立つとするとこの被用者年金は忍び踊りである fact18: 仮に「あの知的発達障害はなあいけれど母親らしくない」ということは誤っていればその脱腸は二層式でない fact19: もしもその脱腸が捕らえ易いがしかし忍び踊りでないとすればその新生代は忍び踊りである fact20: もしとあるものは銀イオンでないならば「忍び踊りであるということはない一方でなあい」ということは成り立たない fact21: この被用者年金が緩くないならそれは居住地国であるしそれに銀イオンでない
void -> assump1: 以下のように仮定する。「その新生代は欲深くないかあるいはヒッチハイクするかもしくは両方である」ということは成り立たない; fact14 & assump1 -> int1: その新生代は捕らえ易い; fact1 & fact12 -> int2: その新生代は捕らえ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その新生代は欲深くないかヒッチハイクするかあるいは両方ともである; int4 & fact13 -> int5: この被用者年金は二層式だということはない; fact2 -> int6: もし「この被用者年金は二層式だということはない」ということは成り立てばそれはなあいしかつ母親らしい; int5 & int6 -> int7: 「この被用者年金はなあいし母親らしい」ということは事実と異ならない; fact7 -> int8: もしもこの被用者年金はなあいし母親らしいなら忍び踊りでない; int7 & int8 -> hypothesis;
この被用者年金は忍び踊りだ
$facts$ = fact1: 「その新生代は捕らえ易いがしかし通電するということはない」ということは成り立たない fact2: もしも「とある物は二層式でない」ということは確かだとしたらなあいし加えてそれは母親らしい fact3: そのカンヌ映画祭は通電する fact4: 仮にその新生代は女王様であるか炊き上がらないとしたら母親らしい fact5: 母親らしい物は捕らえ易いならば「それは二層式でない」ということは真実である fact6: その新生代が忘れっぽいとするとそれは女王様であるかもしくは炊き上がらない fact7: もし仮になあいものが母親らしいならばそれは忍び踊りでない fact8: もし仮にその新生代が欲深いということはないとしたらこの被用者年金は二層式でない fact9: もしこの被用者年金は居住地国である一方で銀イオンでないならば「この大顎は銀イオンでない」ということは本当である fact10: 仮にその新生代が母親らしいとすればこの大顎は母親らしい fact11: もし仮にとあるものは二層式でないとしたら「それは通電しないかあるいはそれはあざといかまたは両方ともだ」ということは成り立たない fact12: もし仮に「その新生代は捕らえ易いがしかしそれは通電しない」ということは成り立たないなら「それは捕らえ易くない」ということは本当だ fact13: その新生代が欲深くないかそれがヒッチハイクするとすればあの被用者年金は二層式でない fact14: もし「その新生代は欲深くないかまたはヒッチハイクするかまたは両方だ」ということは事実と異なるとしたらそれは捕らえ易い fact15: もし「なんらかのものは忍び踊りでないがなあい」ということは成り立たないとしたら「捕らえ易い」ということは本当である fact16: この被用者年金はなあい fact17: もし仮に「その新生代は忍び踊りである」ということは成り立つとするとこの被用者年金は忍び踊りである fact18: 仮に「あの知的発達障害はなあいけれど母親らしくない」ということは誤っていればその脱腸は二層式でない fact19: もしもその脱腸が捕らえ易いがしかし忍び踊りでないとすればその新生代は忍び踊りである fact20: もしとあるものは銀イオンでないならば「忍び踊りであるということはない一方でなあい」ということは成り立たない fact21: この被用者年金が緩くないならそれは居住地国であるしそれに銀イオンでない ; $hypothesis$ = この被用者年金は忍び踊りでない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その新生代は欲深くないかあるいはヒッチハイクするかもしくは両方である」ということは成り立たない; fact14 & assump1 -> int1: その新生代は捕らえ易い; fact1 & fact12 -> int2: その新生代は捕らえ易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その新生代は欲深くないかヒッチハイクするかあるいは両方ともである; int4 & fact13 -> int5: この被用者年金は二層式だということはない; fact2 -> int6: もし「この被用者年金は二層式だということはない」ということは成り立てばそれはなあいしかつ母親らしい; int5 & int6 -> int7: 「この被用者年金はなあいし母親らしい」ということは事実と異ならない; fact7 -> int8: もしもこの被用者年金はなあいし母親らしいなら忍び踊りでない; int7 & int8 -> hypothesis; __PROVED__
事実1: 「その新生代は捕らえ易いがしかし通電するということはない」ということは成り立たない
事実2: もしも「とある物は二層式でない」ということは確かだとしたらなあいし加えてそれは母親らしい
事実3: そのカンヌ映画祭は通電する
事実4: 仮にその新生代は女王様であるか炊き上がらないとしたら母親らしい
事実5: 母親らしい物は捕らえ易いならば「それは二層式でない」ということは真実である
事実6: その新生代が忘れっぽいとするとそれは女王様であるかもしくは炊き上がらない
事実7: もし仮になあいものが母親らしいならばそれは忍び踊りでない
事実8: もし仮にその新生代が欲深いということはないとしたらこの被用者年金は二層式でない
事実9: もしこの被用者年金は居住地国である一方で銀イオンでないならば「この大顎は銀イオンでない」ということは本当である
事実10: 仮にその新生代が母親らしいとすればこの大顎は母親らしい
事実11: もし仮にとあるものは二層式でないとしたら「それは通電しないかあるいはそれはあざといかまたは両方ともだ」ということは成り立たない
事実12: もし仮に「その新生代は捕らえ易いがしかしそれは通電しない」ということは成り立たないなら「それは捕らえ易くない」ということは本当だ
事実13: その新生代が欲深くないかそれがヒッチハイクするとすればあの被用者年金は二層式でない
事実14: もし「その新生代は欲深くないかまたはヒッチハイクするかまたは両方だ」ということは事実と異なるとしたらそれは捕らえ易い
事実15: もし「なんらかのものは忍び踊りでないがなあい」ということは成り立たないとしたら「捕らえ易い」ということは本当である
事実16: この被用者年金はなあい
事実17: もし仮に「その新生代は忍び踊りである」ということは成り立つとするとこの被用者年金は忍び踊りである
事実18: 仮に「あの知的発達障害はなあいけれど母親らしくない」ということは誤っていればその脱腸は二層式でない
事実19: もしもその脱腸が捕らえ易いがしかし忍び踊りでないとすればその新生代は忍び踊りである
事実20: もしとあるものは銀イオンでないならば「忍び踊りであるということはない一方でなあい」ということは成り立たない
事実21: この被用者年金が緩くないならそれは居住地国であるしそれに銀イオンでない

仮説: この被用者年金は忍び踊りでない
1. 仮定1: 以下のように仮定する。「その新生代は欲深くないかあるいはヒッチハイクするかもしくは両方である」ということは成り立たない
2. 事実14と仮定1から、推論1: "その新生代は捕らえ易い"が導かれる
3. 事実1と事実12から、推論2: "その新生代は捕らえ易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その新生代は欲深くないかヒッチハイクするかあるいは両方ともである"が導かれる
6. 推論4と事実13から、推論5: "この被用者年金は二層式だということはない"が導かれる
7. 事実2から、推論6: "もし「この被用者年金は二層式だということはない」ということは成り立てばそれはなあいしかつ母親らしい"が導かれる
8. 推論5と推論6から、推論7: "「この被用者年金はなあいし母親らしい」ということは事実と異ならない"が導かれる
9. 事実7から、推論8: "もしもこの被用者年金はなあいし母親らしいなら忍び踊りでない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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