この端金はしょっぱい
fact1: 「追加徴求する」物はある fact2: もし仮にとあるものが言い募るということはないならば侵犯するけれど流され易くない fact3: 「仮に「「許容し得る」ということは事実である」物があるとするとこの端金は許し難い」ということは成り立つ fact4: あのサーバオブジェクトはしょっぱい fact5: とある物は整合する fact6: この端金が流され易くないし更に許容し得ないとすればそのディスカス・ハンバーグはしょっぱい fact7: しょっぱい物があるとしたらあのサーバオブジェクトは湿っぽい fact8: とあるものはアクセスし易い fact9: 「しょっぱい」ものはある fact10: もしもあのＰワンレイヤが侵犯する一方で流され易くないとするとこの端金は流され易くない fact11: あの菩薩等は許容し得る fact12: もしも「「許容し得る」ということは成り立つ」物があるとすればこの端金はしょっぱい fact13: あのサーバオブジェクトは許容し得る fact14: この端金は安値である fact15: 「「失墜する」ということは真実な」ものはある fact16: もし「許容し得る」物があるとするとあのサーバオブジェクトはしょっぱい fact17: 仮に「ある物はしょっぱいけれど流され易いということはない」ということは事実と異なるとしたら「しょっぱくない」ということは成り立つ fact18: 仮に「仕舞い易い」物があればその第二回東京医術開業試験は許容し得る
fact13 -> int1: 「許容し得る」ものはある; int1 & fact12 -> hypothesis;
fact13 -> int1: (Ex): {A}x; int1 & fact12 -> hypothesis;
この端金はしょっぱくない
fact19 -> int2: 「この端金はしょっぱいけれど流され易くない」ということは偽であるとしたらしょっぱくない;
$facts$ = fact1: 「追加徴求する」物はある fact2: もし仮にとあるものが言い募るということはないならば侵犯するけれど流され易くない fact3: 「仮に「「許容し得る」ということは事実である」物があるとするとこの端金は許し難い」ということは成り立つ fact4: あのサーバオブジェクトはしょっぱい fact5: とある物は整合する fact6: この端金が流され易くないし更に許容し得ないとすればそのディスカス・ハンバーグはしょっぱい fact7: しょっぱい物があるとしたらあのサーバオブジェクトは湿っぽい fact8: とあるものはアクセスし易い fact9: 「しょっぱい」ものはある fact10: もしもあのＰワンレイヤが侵犯する一方で流され易くないとするとこの端金は流され易くない fact11: あの菩薩等は許容し得る fact12: もしも「「許容し得る」ということは成り立つ」物があるとすればこの端金はしょっぱい fact13: あのサーバオブジェクトは許容し得る fact14: この端金は安値である fact15: 「「失墜する」ということは真実な」ものはある fact16: もし「許容し得る」物があるとするとあのサーバオブジェクトはしょっぱい fact17: 仮に「ある物はしょっぱいけれど流され易いということはない」ということは事実と異なるとしたら「しょっぱくない」ということは成り立つ fact18: 仮に「仕舞い易い」物があればその第二回東京医術開業試験は許容し得る ; $hypothesis$ = この端金はしょっぱい ; $proof$ = 
fact13 -> int1: 「許容し得る」ものはある; int1 & fact12 -> hypothesis; __PROVED__
事実1: 「追加徴求する」物はある
事実2: もし仮にとあるものが言い募るということはないならば侵犯するけれど流され易くない
事実3: 「仮に「「許容し得る」ということは事実である」物があるとするとこの端金は許し難い」ということは成り立つ
事実4: あのサーバオブジェクトはしょっぱい
事実5: とある物は整合する
事実6: この端金が流され易くないし更に許容し得ないとすればそのディスカス・ハンバーグはしょっぱい
事実7: しょっぱい物があるとしたらあのサーバオブジェクトは湿っぽい
事実8: とあるものはアクセスし易い
事実9: 「しょっぱい」ものはある
事実10: もしもあのＰワンレイヤが侵犯する一方で流され易くないとするとこの端金は流され易くない
事実11: あの菩薩等は許容し得る
事実12: もしも「「許容し得る」ということは成り立つ」物があるとすればこの端金はしょっぱい
事実13: あのサーバオブジェクトは許容し得る
事実14: この端金は安値である
事実15: 「「失墜する」ということは真実な」ものはある
事実16: もし「許容し得る」物があるとするとあのサーバオブジェクトはしょっぱい
事実17: 仮に「ある物はしょっぱいけれど流され易いということはない」ということは事実と異なるとしたら「しょっぱくない」ということは成り立つ
事実18: 仮に「仕舞い易い」物があればその第二回東京医術開業試験は許容し得る

仮説: この端金はしょっぱい
1. 事実13から、推論1: "「許容し得る」ものはある"が導かれる
2. 推論1と事実12から、仮説が導かれる

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