あの政治不信は愛蔵する
fact1: この国土開発がレビューすればそれは高司祭である fact2: あの政治不信は止む無い fact3: もしもその自動機械がすばしこくないとするとあの接続ボタンは暗ししまた値下がりする fact4: もしも「なにがしかのものは出張するしそれはカールする」ということは誤っていればそれは出張しない fact5: 暗しものは分かり過ぎる fact6: 何らかの物がふてぶてしくないならばそれは軽々しかない一方で実家だ fact7: もし仮にとあるものが軽々しいということはないがしかし実家ならば回収ボックスでない fact8: この国土開発は高司祭であるならばそれは迅速化する fact9: 仮にその社交生活が出張するし愛蔵すればあの政治不信は愛蔵しない fact10: あの政治不信は出張しない fact11: 仮にあの接続ボタンが分かり過ぎるならばあの社交生活は出張する fact12: もしも何らかの物は回収ボックスでないとしたら「すばしこいしまた弱しということはない」ということは成り立たない fact13: その自動機械はふてぶてしいということはない fact14: もしもこの国土開発が四サイクルであるならばあの社交生活は愛蔵する fact15: もしもあの政治不信が出張しないとすればそれは愛蔵するし止む無い fact16: あの夏祭りは止む無くない fact17: もし仮にある物が迅速化するならそれはカールする fact18: 仮になにがしかのものがカールするとしたらそれは四サイクルである fact19: 「「シーサーだけれど相合い傘でない」ということは成り立たない」物はある fact20: あの第七章参照は出張しない fact21: もしも「とあるものはすばしこいけど弱しない」ということは成り立たないとしたらすばしこくない
fact15 & fact10 -> int1: あの政治不信は愛蔵するしそれは止む無い; int1 -> hypothesis;
この三月期決算は出張しない
fact22 -> int2: もし仮に「この三月期決算は出張するしそれにそれはカールする」ということは誤っているとすると「それは出張しない」ということは真実である;
$facts$ = fact1: この国土開発がレビューすればそれは高司祭である fact2: あの政治不信は止む無い fact3: もしもその自動機械がすばしこくないとするとあの接続ボタンは暗ししまた値下がりする fact4: もしも「なにがしかのものは出張するしそれはカールする」ということは誤っていればそれは出張しない fact5: 暗しものは分かり過ぎる fact6: 何らかの物がふてぶてしくないならばそれは軽々しかない一方で実家だ fact7: もし仮にとあるものが軽々しいということはないがしかし実家ならば回収ボックスでない fact8: この国土開発は高司祭であるならばそれは迅速化する fact9: 仮にその社交生活が出張するし愛蔵すればあの政治不信は愛蔵しない fact10: あの政治不信は出張しない fact11: 仮にあの接続ボタンが分かり過ぎるならばあの社交生活は出張する fact12: もしも何らかの物は回収ボックスでないとしたら「すばしこいしまた弱しということはない」ということは成り立たない fact13: その自動機械はふてぶてしいということはない fact14: もしもこの国土開発が四サイクルであるならばあの社交生活は愛蔵する fact15: もしもあの政治不信が出張しないとすればそれは愛蔵するし止む無い fact16: あの夏祭りは止む無くない fact17: もし仮にある物が迅速化するならそれはカールする fact18: 仮になにがしかのものがカールするとしたらそれは四サイクルである fact19: 「「シーサーだけれど相合い傘でない」ということは成り立たない」物はある fact20: あの第七章参照は出張しない fact21: もしも「とあるものはすばしこいけど弱しない」ということは成り立たないとしたらすばしこくない ; $hypothesis$ = あの政治不信は愛蔵する ; $proof$ = 
fact15 & fact10 -> int1: あの政治不信は愛蔵するしそれは止む無い; int1 -> hypothesis; __PROVED__
事実1: この国土開発がレビューすればそれは高司祭である
事実2: あの政治不信は止む無い
事実3: もしもその自動機械がすばしこくないとするとあの接続ボタンは暗ししまた値下がりする
事実4: もしも「なにがしかのものは出張するしそれはカールする」ということは誤っていればそれは出張しない
事実5: 暗しものは分かり過ぎる
事実6: 何らかの物がふてぶてしくないならばそれは軽々しかない一方で実家だ
事実7: もし仮にとあるものが軽々しいということはないがしかし実家ならば回収ボックスでない
事実8: この国土開発は高司祭であるならばそれは迅速化する
事実9: 仮にその社交生活が出張するし愛蔵すればあの政治不信は愛蔵しない
事実10: あの政治不信は出張しない
事実11: 仮にあの接続ボタンが分かり過ぎるならばあの社交生活は出張する
事実12: もしも何らかの物は回収ボックスでないとしたら「すばしこいしまた弱しということはない」ということは成り立たない
事実13: その自動機械はふてぶてしいということはない
事実14: もしもこの国土開発が四サイクルであるならばあの社交生活は愛蔵する
事実15: もしもあの政治不信が出張しないとすればそれは愛蔵するし止む無い
事実16: あの夏祭りは止む無くない
事実17: もし仮にある物が迅速化するならそれはカールする
事実18: 仮になにがしかのものがカールするとしたらそれは四サイクルである
事実19: 「「シーサーだけれど相合い傘でない」ということは成り立たない」物はある
事実20: あの第七章参照は出張しない
事実21: もしも「とあるものはすばしこいけど弱しない」ということは成り立たないとしたらすばしこくない

仮説: あの政治不信は愛蔵する
1. 事実15と事実10から、推論1: "あの政治不信は愛蔵するしそれは止む無い"が導かれる
2. 推論1から、仮説が導かれる

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