「「「そのパンフラワーは世紀半ばだが交通しない」ということは事実だ」ということは成り立たない」ということは成り立つ
fact1: 「そのパンフラワーはクロスセクション回帰であるということはない」ということは事実だ fact2: 仮にそのパンフラワーはクロスセクション回帰でないとすると「それが世紀半ばだし更にそれは交通しない」ということは誤っている fact3: 「そのパンフラワーは世紀半ばであるしかつそれは交通する」ということは成り立たない fact4: 仮に「そのパンフラワーは振り動かす」ということは正しいならば「それは世紀半ばだ」ということは誤りでない fact5: もしも「そのパンフラワーはクロスセクション回帰でない」ということは成り立つとすると「それは世紀半ばであるしまた交通する」ということは誤りだ
fact2 & fact1 -> hypothesis;
そのパンフラワーは世紀半ばだ一方でそれは交通しない
$facts$ = fact1: 「そのパンフラワーはクロスセクション回帰であるということはない」ということは事実だ fact2: 仮にそのパンフラワーはクロスセクション回帰でないとすると「それが世紀半ばだし更にそれは交通しない」ということは誤っている fact3: 「そのパンフラワーは世紀半ばであるしかつそれは交通する」ということは成り立たない fact4: 仮に「そのパンフラワーは振り動かす」ということは正しいならば「それは世紀半ばだ」ということは誤りでない fact5: もしも「そのパンフラワーはクロスセクション回帰でない」ということは成り立つとすると「それは世紀半ばであるしまた交通する」ということは誤りだ ; $hypothesis$ = 「「「そのパンフラワーは世紀半ばだが交通しない」ということは事実だ」ということは成り立たない」ということは成り立つ ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 「そのパンフラワーはクロスセクション回帰であるということはない」ということは事実だ
事実2: 仮にそのパンフラワーはクロスセクション回帰でないとすると「それが世紀半ばだし更にそれは交通しない」ということは誤っている
事実3: 「そのパンフラワーは世紀半ばであるしかつそれは交通する」ということは成り立たない
事実4: 仮に「そのパンフラワーは振り動かす」ということは正しいならば「それは世紀半ばだ」ということは誤りでない
事実5: もしも「そのパンフラワーはクロスセクション回帰でない」ということは成り立つとすると「それは世紀半ばであるしまた交通する」ということは誤りだ

仮説: 「「「そのパンフラワーは世紀半ばだが交通しない」ということは事実だ」ということは成り立たない」ということは成り立つ
1. 事実2と事実1から、仮説が導かれる

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