「もし生元素でないとすると四百二十二ページ参照である」物はある
fact1: 烏滸がましくらないものは滑り出しである fact2: もしこの政治的関与は嫉妬深いということはないとすると「一等級である」ということは成り立つ fact3: もしもなんらかの物は回転出来ないとすると「コスト効率だ」ということは事実である fact4: 「もし生元素ならば「四百二十二ページ参照だ」ということは確かである」物はある fact5: もし仮になにがしかのものは生元素でないならばそれは四百二十二ページ参照である fact6: もしこの政治的関与は生元素でないならそれは神籬だ fact7: もし仮になにがしかの物は生元素であるとしたら四百二十二ページ参照だ fact8: とあるものが最低気温ならば惨禍である
fact5 -> int1: 「この政治的関与は生元素だということはない」ということは成り立つならそれは四百二十二ページ参照だ; int1 -> hypothesis;
「もし仮に回転出来るということはないならコスト効率である」ものはある
fact9 -> int2: 「仮に「その相場価格は回転出来ない」ということは成り立つとするとその相場価格はコスト効率である」ということは成り立つ; int2 -> hypothesis;
$facts$ = fact1: 烏滸がましくらないものは滑り出しである fact2: もしこの政治的関与は嫉妬深いということはないとすると「一等級である」ということは成り立つ fact3: もしもなんらかの物は回転出来ないとすると「コスト効率だ」ということは事実である fact4: 「もし生元素ならば「四百二十二ページ参照だ」ということは確かである」物はある fact5: もし仮になにがしかのものは生元素でないならばそれは四百二十二ページ参照である fact6: もしこの政治的関与は生元素でないならそれは神籬だ fact7: もし仮になにがしかの物は生元素であるとしたら四百二十二ページ参照だ fact8: とあるものが最低気温ならば惨禍である ; $hypothesis$ = 「もし生元素でないとすると四百二十二ページ参照である」物はある ; $proof$ = 
fact5 -> int1: 「この政治的関与は生元素だということはない」ということは成り立つならそれは四百二十二ページ参照だ; int1 -> hypothesis; __PROVED__
事実1: 烏滸がましくらないものは滑り出しである
事実2: もしこの政治的関与は嫉妬深いということはないとすると「一等級である」ということは成り立つ
事実3: もしもなんらかの物は回転出来ないとすると「コスト効率だ」ということは事実である
事実4: 「もし生元素ならば「四百二十二ページ参照だ」ということは確かである」物はある
事実5: もし仮になにがしかのものは生元素でないならばそれは四百二十二ページ参照である
事実6: もしこの政治的関与は生元素でないならそれは神籬だ
事実7: もし仮になにがしかの物は生元素であるとしたら四百二十二ページ参照だ
事実8: とあるものが最低気温ならば惨禍である

仮説: 「もし生元素でないとすると四百二十二ページ参照である」物はある
1. 事実5から、推論1: "「この政治的関与は生元素だということはない」ということは成り立つならそれは四百二十二ページ参照だ"が導かれる
2. 推論1から、仮説が導かれる

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