その超過収益力等は夏休みだ
fact1: もし「「壮年人口で聞き取り難くない」ということは成り立つということはない」物があるとすればそのハイパフォーマンスは期待し難い fact2: もし「そのハイパフォーマンスは忍耐強い」ということは事実ならその超過収益力等は夏休みだ fact3: もしこのＰＰＤはめぼしくないとすれば「それは壮年人口であるけれど聞き取り難くない」ということは誤っている fact4: 「「期待し難くてコーヒー代であるということはない」ということは誤っている」物はある fact5: もしもこのＰＰＤが期待し難いけど壮年人口でないとすればあの超過収益力等は壮年人口でない fact6: もしも「「めぼしいけれど傷付くということはない」ということは本当でない」物があるならこのＰＰＤはコーヒー代である fact7: 「その超過収益力等は忍耐強くない一方でそれは発明する」ということは成り立たない fact8: もし仮に「ある物はめぼしい一方で聞き取り難くない」ということは成り立たないとしたらそれは夏休みでない fact9: もし仮になにかは壮年人口でないとしたら「それはめぼしいが聞き取り難くない」ということは誤りだ fact10: もしこのＰＰＤが壮年人口だとすると理科系だ fact11: もし「そのハイパフォーマンスは期待し難い」ということは真実であるとすればそれは壮年人口でない fact12: もしもそのハイパフォーマンスが忍耐強くてそれが太いならばこのＰＰＤは忍耐強くない fact13: そのハイパフォーマンスが期待し難いならばそれは忍耐強い fact14: もしも「忍耐強い」物があるとすればあのハイパフォーマンスは誘発し易い fact15: もし仮にこのＰＰＤは夏休みでないとすれば「それは壮年人口であるしめぼしい」ということは嘘である fact16: 「このＰＰＤは傷付かないけどコーヒー代だ」ということは誤っているとするとそれはめぼしくない fact17: 「「このＰＰＤは傷付くしおまけに夏休みだ」ということは誤っている」ということは偽であるということはない fact18: 「このＰＰＤは傷付かないがしかしそれはコーヒー代だ」ということは誤っている
fact16 & fact18 -> int1: このＰＰＤはめぼしくない; int1 & fact3 -> int2: 「このＰＰＤは壮年人口であるがしかし聞き取り難くない」ということは成り立たない; int2 -> int3: 「「壮年人口だがしかし聞き取り難くない」ということは成り立たない」ものはある; int3 & fact1 -> int4: そのハイパフォーマンスは期待し難い; int4 & fact13 -> int5: そのハイパフォーマンスは忍耐強い; int5 & fact2 -> hypothesis;
その超過収益力等は夏休みでない
fact19 -> int6: 仮に「その超過収益力等はめぼしいがしかし聞き取り難くない」ということは偽であるならそれは夏休みでない; fact22 -> int7: もしその超過収益力等は壮年人口でないとすると「それはめぼしくてかつ聞き取り難くない」ということは事実だということはない;
$facts$ = fact1: もし「「壮年人口で聞き取り難くない」ということは成り立つということはない」物があるとすればそのハイパフォーマンスは期待し難い fact2: もし「そのハイパフォーマンスは忍耐強い」ということは事実ならその超過収益力等は夏休みだ fact3: もしこのＰＰＤはめぼしくないとすれば「それは壮年人口であるけれど聞き取り難くない」ということは誤っている fact4: 「「期待し難くてコーヒー代であるということはない」ということは誤っている」物はある fact5: もしもこのＰＰＤが期待し難いけど壮年人口でないとすればあの超過収益力等は壮年人口でない fact6: もしも「「めぼしいけれど傷付くということはない」ということは本当でない」物があるならこのＰＰＤはコーヒー代である fact7: 「その超過収益力等は忍耐強くない一方でそれは発明する」ということは成り立たない fact8: もし仮に「ある物はめぼしい一方で聞き取り難くない」ということは成り立たないとしたらそれは夏休みでない fact9: もし仮になにかは壮年人口でないとしたら「それはめぼしいが聞き取り難くない」ということは誤りだ fact10: もしこのＰＰＤが壮年人口だとすると理科系だ fact11: もし「そのハイパフォーマンスは期待し難い」ということは真実であるとすればそれは壮年人口でない fact12: もしもそのハイパフォーマンスが忍耐強くてそれが太いならばこのＰＰＤは忍耐強くない fact13: そのハイパフォーマンスが期待し難いならばそれは忍耐強い fact14: もしも「忍耐強い」物があるとすればあのハイパフォーマンスは誘発し易い fact15: もし仮にこのＰＰＤは夏休みでないとすれば「それは壮年人口であるしめぼしい」ということは嘘である fact16: 「このＰＰＤは傷付かないけどコーヒー代だ」ということは誤っているとするとそれはめぼしくない fact17: 「「このＰＰＤは傷付くしおまけに夏休みだ」ということは誤っている」ということは偽であるということはない fact18: 「このＰＰＤは傷付かないがしかしそれはコーヒー代だ」ということは誤っている ; $hypothesis$ = その超過収益力等は夏休みだ ; $proof$ = 
fact16 & fact18 -> int1: このＰＰＤはめぼしくない; int1 & fact3 -> int2: 「このＰＰＤは壮年人口であるがしかし聞き取り難くない」ということは成り立たない; int2 -> int3: 「「壮年人口だがしかし聞き取り難くない」ということは成り立たない」ものはある; int3 & fact1 -> int4: そのハイパフォーマンスは期待し難い; int4 & fact13 -> int5: そのハイパフォーマンスは忍耐強い; int5 & fact2 -> hypothesis; __PROVED__
事実1: もし「「壮年人口で聞き取り難くない」ということは成り立つということはない」物があるとすればそのハイパフォーマンスは期待し難い
事実2: もし「そのハイパフォーマンスは忍耐強い」ということは事実ならその超過収益力等は夏休みだ
事実3: もしこのＰＰＤはめぼしくないとすれば「それは壮年人口であるけれど聞き取り難くない」ということは誤っている
事実4: 「「期待し難くてコーヒー代であるということはない」ということは誤っている」物はある
事実5: もしもこのＰＰＤが期待し難いけど壮年人口でないとすればあの超過収益力等は壮年人口でない
事実6: もしも「「めぼしいけれど傷付くということはない」ということは本当でない」物があるならこのＰＰＤはコーヒー代である
事実7: 「その超過収益力等は忍耐強くない一方でそれは発明する」ということは成り立たない
事実8: もし仮に「ある物はめぼしい一方で聞き取り難くない」ということは成り立たないとしたらそれは夏休みでない
事実9: もし仮になにかは壮年人口でないとしたら「それはめぼしいが聞き取り難くない」ということは誤りだ
事実10: もしこのＰＰＤが壮年人口だとすると理科系だ
事実11: もし「そのハイパフォーマンスは期待し難い」ということは真実であるとすればそれは壮年人口でない
事実12: もしもそのハイパフォーマンスが忍耐強くてそれが太いならばこのＰＰＤは忍耐強くない
事実13: そのハイパフォーマンスが期待し難いならばそれは忍耐強い
事実14: もしも「忍耐強い」物があるとすればあのハイパフォーマンスは誘発し易い
事実15: もし仮にこのＰＰＤは夏休みでないとすれば「それは壮年人口であるしめぼしい」ということは嘘である
事実16: 「このＰＰＤは傷付かないけどコーヒー代だ」ということは誤っているとするとそれはめぼしくない
事実17: 「「このＰＰＤは傷付くしおまけに夏休みだ」ということは誤っている」ということは偽であるということはない
事実18: 「このＰＰＤは傷付かないがしかしそれはコーヒー代だ」ということは誤っている

仮説: その超過収益力等は夏休みだ
1. 事実16と事実18から、推論1: "このＰＰＤはめぼしくない"が導かれる
2. 推論1と事実3から、推論2: "「このＰＰＤは壮年人口であるがしかし聞き取り難くない」ということは成り立たない"が導かれる
3. 推論2から、推論3: "「「壮年人口だがしかし聞き取り難くない」ということは成り立たない」ものはある"が導かれる
4. 推論3と事実1から、推論4: "そのハイパフォーマンスは期待し難い"が導かれる
5. 推論4と事実13から、推論5: "そのハイパフォーマンスは忍耐強い"が導かれる
6. 推論5と事実2から、仮説が導かれる

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