「「しつこくない」ということは事実であるなら「行き着くししかも面目無い」ということは間違いな」物はある
fact1: 仮に何かは探し様でないとすれば「それは稼得するし貿易紛争である」ということは成り立たない fact2: 「もしも地下道でないとしたら「北流するしその上商品コンボボックスだ」ということは間違っている」物はある fact3: 「しつこくないなら行き着くしそれに面目無い」物はある fact4: もし何かは下りるということはないとすれば「それは変更出来るしそれは眺望する」ということは成り立たない fact5: 「しつこいならば「行き着くし面目無い」ということは成り立たない」ものはある fact6: もしあの大学生活はしつこいならば「それは行き着くしさらに面目無い」ということは間違っている fact7: あの大学生活は幼児教育・保育でないとしたら「「それは読み難くて加えて御早い」ということは成り立つ」ということは成り立つということはない fact8: もし何かはしつこいとすれば「それは行き着くしその上それは面目無い」ということは事実と異なる fact9: もし仮になにかは誇りっぽくないとすれば「それは統合化するし買い増す」ということは誤りだ fact10: あの大学生活は有条件降伏でないなら「サブスクライブするしさらに馬上試合である」ということは誤りだ fact11: もし「なにかは考察出来ない」ということは成り立つとすれば「それは買い増すしその上息遣いである」ということは成り立たない fact12: もしあの大学生活は面目無くないなら「それは重いし情報活用能力だ」ということは嘘だ fact13: 「なんらかの物はしつこくないならば「それは行き着くしそれに面目無い」ということは成り立たない」ということは真実だ fact14: 「「仮にタイル張りでないならば「軽しし溶かし込む」ということは間違っている」物はある」ということは成り立つ fact15: 仮に「この取り纏めは書籍販売だということはない」ということは事実であるなら「千ＭＬであるしおまけに吸収する」ということは間違っている fact16: 「もし関連規定でないとすれば「御財布だしさらに捗々しい」ということは事実と異なる」物はある fact17: しつこくないものは行き着くしその上面目無い fact18: 仮にあの大学生活はしつこくないとすればそれは行き着くしかつそれは面目無い fact19: 仮にあの大学生活は磔刑像でないとすると「真っ白いしさらに行き着く」ということは間違いだ
fact13 -> int1: あの大学生活はしつこくないとすると「それは行き着くし加えて面目無い」ということは偽である; int1 -> hypothesis;
$facts$ = fact1: 仮に何かは探し様でないとすれば「それは稼得するし貿易紛争である」ということは成り立たない fact2: 「もしも地下道でないとしたら「北流するしその上商品コンボボックスだ」ということは間違っている」物はある fact3: 「しつこくないなら行き着くしそれに面目無い」物はある fact4: もし何かは下りるということはないとすれば「それは変更出来るしそれは眺望する」ということは成り立たない fact5: 「しつこいならば「行き着くし面目無い」ということは成り立たない」ものはある fact6: もしあの大学生活はしつこいならば「それは行き着くしさらに面目無い」ということは間違っている fact7: あの大学生活は幼児教育・保育でないとしたら「「それは読み難くて加えて御早い」ということは成り立つ」ということは成り立つということはない fact8: もし何かはしつこいとすれば「それは行き着くしその上それは面目無い」ということは事実と異なる fact9: もし仮になにかは誇りっぽくないとすれば「それは統合化するし買い増す」ということは誤りだ fact10: あの大学生活は有条件降伏でないなら「サブスクライブするしさらに馬上試合である」ということは誤りだ fact11: もし「なにかは考察出来ない」ということは成り立つとすれば「それは買い増すしその上息遣いである」ということは成り立たない fact12: もしあの大学生活は面目無くないなら「それは重いし情報活用能力だ」ということは嘘だ fact13: 「なんらかの物はしつこくないならば「それは行き着くしそれに面目無い」ということは成り立たない」ということは真実だ fact14: 「「仮にタイル張りでないならば「軽しし溶かし込む」ということは間違っている」物はある」ということは成り立つ fact15: 仮に「この取り纏めは書籍販売だということはない」ということは事実であるなら「千ＭＬであるしおまけに吸収する」ということは間違っている fact16: 「もし関連規定でないとすれば「御財布だしさらに捗々しい」ということは事実と異なる」物はある fact17: しつこくないものは行き着くしその上面目無い fact18: 仮にあの大学生活はしつこくないとすればそれは行き着くしかつそれは面目無い fact19: 仮にあの大学生活は磔刑像でないとすると「真っ白いしさらに行き着く」ということは間違いだ ; $hypothesis$ = 「「しつこくない」ということは事実であるなら「行き着くししかも面目無い」ということは間違いな」物はある ; $proof$ = 
fact13 -> int1: あの大学生活はしつこくないとすると「それは行き着くし加えて面目無い」ということは偽である; int1 -> hypothesis; __PROVED__
事実1: 仮に何かは探し様でないとすれば「それは稼得するし貿易紛争である」ということは成り立たない
事実2: 「もしも地下道でないとしたら「北流するしその上商品コンボボックスだ」ということは間違っている」物はある
事実3: 「しつこくないなら行き着くしそれに面目無い」物はある
事実4: もし何かは下りるということはないとすれば「それは変更出来るしそれは眺望する」ということは成り立たない
事実5: 「しつこいならば「行き着くし面目無い」ということは成り立たない」ものはある
事実6: もしあの大学生活はしつこいならば「それは行き着くしさらに面目無い」ということは間違っている
事実7: あの大学生活は幼児教育・保育でないとしたら「「それは読み難くて加えて御早い」ということは成り立つ」ということは成り立つということはない
事実8: もし何かはしつこいとすれば「それは行き着くしその上それは面目無い」ということは事実と異なる
事実9: もし仮になにかは誇りっぽくないとすれば「それは統合化するし買い増す」ということは誤りだ
事実10: あの大学生活は有条件降伏でないなら「サブスクライブするしさらに馬上試合である」ということは誤りだ
事実11: もし「なにかは考察出来ない」ということは成り立つとすれば「それは買い増すしその上息遣いである」ということは成り立たない
事実12: もしあの大学生活は面目無くないなら「それは重いし情報活用能力だ」ということは嘘だ
事実13: 「なんらかの物はしつこくないならば「それは行き着くしそれに面目無い」ということは成り立たない」ということは真実だ
事実14: 「「仮にタイル張りでないならば「軽しし溶かし込む」ということは間違っている」物はある」ということは成り立つ
事実15: 仮に「この取り纏めは書籍販売だということはない」ということは事実であるなら「千ＭＬであるしおまけに吸収する」ということは間違っている
事実16: 「もし関連規定でないとすれば「御財布だしさらに捗々しい」ということは事実と異なる」物はある
事実17: しつこくないものは行き着くしその上面目無い
事実18: 仮にあの大学生活はしつこくないとすればそれは行き着くしかつそれは面目無い
事実19: 仮にあの大学生活は磔刑像でないとすると「真っ白いしさらに行き着く」ということは間違いだ

仮説: 「「しつこくない」ということは事実であるなら「行き着くししかも面目無い」ということは間違いな」物はある
1. 事実13から、推論1: "あの大学生活はしつこくないとすると「それは行き着くし加えて面目無い」ということは偽である"が導かれる
2. 推論1から、仮説が導かれる

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