「もしＳＭＢＧであるなら高名でないし読み慣れるということはない」物はある
fact1: 「「仮に遣り続ければ分解され難くない」物はある」ということは正しい fact2: 「「仮に「ＳＭＢＧである」ということは成り立つとすると高名でないがしかし読み慣れる」ものはある」ということは間違いでない fact3: もしもあの肥大が這い蹲ればそれは増え出さないしそれは読み慣れない fact4: 「仮に掛け難いとしたら主張し続けるということはないし操作し易いということはない」物はある fact5: もしもあの肥大がＳＭＢＧだとすればそれは読み慣れない fact6: 「もし仮にレストルームであるとするとワーキング・メモリでなくておまけに痛くない」物はある fact7: 「もしも当該投資だとすると御寒いがしかし割り込まない」物はある fact8: もしあの肥大が割れ易いとしたらそれはし損なうしかつ読み慣れない fact9: 「仮に「合唱する」ということは真実なら読むしまたヨークシャ・プディングでない」物はある fact10: 「もし仮に大恥であるとすると遭難事件である一方で痩せ難くない」ものはある fact11: 「もし仮に「根気強くない」ということは偽だとすると横付けであるしかつ変え難くない」物はある fact12: 「もしも嬉しいとすればしょっぱくないししかも年賀葉書でない」ものはある fact13: 「ＳＭＢＧであるなら「高名だということはない」ということは確かである」ものはある fact14: もしもあの肥大がＳＭＢＧだとするとそれは高名でないしそれに読み慣れない fact15: 仮に「その七十二ページ参照は罹り易い」ということは本当だとするとそれは私らしいししかもそれは勝ち上がらない fact16: 「もしも胡散臭いとすると酒臭くない」物はある
fact14 -> hypothesis;
$facts$ = fact1: 「「仮に遣り続ければ分解され難くない」物はある」ということは正しい fact2: 「「仮に「ＳＭＢＧである」ということは成り立つとすると高名でないがしかし読み慣れる」ものはある」ということは間違いでない fact3: もしもあの肥大が這い蹲ればそれは増え出さないしそれは読み慣れない fact4: 「仮に掛け難いとしたら主張し続けるということはないし操作し易いということはない」物はある fact5: もしもあの肥大がＳＭＢＧだとすればそれは読み慣れない fact6: 「もし仮にレストルームであるとするとワーキング・メモリでなくておまけに痛くない」物はある fact7: 「もしも当該投資だとすると御寒いがしかし割り込まない」物はある fact8: もしあの肥大が割れ易いとしたらそれはし損なうしかつ読み慣れない fact9: 「仮に「合唱する」ということは真実なら読むしまたヨークシャ・プディングでない」物はある fact10: 「もし仮に大恥であるとすると遭難事件である一方で痩せ難くない」ものはある fact11: 「もし仮に「根気強くない」ということは偽だとすると横付けであるしかつ変え難くない」物はある fact12: 「もしも嬉しいとすればしょっぱくないししかも年賀葉書でない」ものはある fact13: 「ＳＭＢＧであるなら「高名だということはない」ということは確かである」ものはある fact14: もしもあの肥大がＳＭＢＧだとするとそれは高名でないしそれに読み慣れない fact15: 仮に「その七十二ページ参照は罹り易い」ということは本当だとするとそれは私らしいししかもそれは勝ち上がらない fact16: 「もしも胡散臭いとすると酒臭くない」物はある ; $hypothesis$ = 「もしＳＭＢＧであるなら高名でないし読み慣れるということはない」物はある ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: 「「仮に遣り続ければ分解され難くない」物はある」ということは正しい
事実2: 「「仮に「ＳＭＢＧである」ということは成り立つとすると高名でないがしかし読み慣れる」ものはある」ということは間違いでない
事実3: もしもあの肥大が這い蹲ればそれは増え出さないしそれは読み慣れない
事実4: 「仮に掛け難いとしたら主張し続けるということはないし操作し易いということはない」物はある
事実5: もしもあの肥大がＳＭＢＧだとすればそれは読み慣れない
事実6: 「もし仮にレストルームであるとするとワーキング・メモリでなくておまけに痛くない」物はある
事実7: 「もしも当該投資だとすると御寒いがしかし割り込まない」物はある
事実8: もしあの肥大が割れ易いとしたらそれはし損なうしかつ読み慣れない
事実9: 「仮に「合唱する」ということは真実なら読むしまたヨークシャ・プディングでない」物はある
事実10: 「もし仮に大恥であるとすると遭難事件である一方で痩せ難くない」ものはある
事実11: 「もし仮に「根気強くない」ということは偽だとすると横付けであるしかつ変え難くない」物はある
事実12: 「もしも嬉しいとすればしょっぱくないししかも年賀葉書でない」ものはある
事実13: 「ＳＭＢＧであるなら「高名だということはない」ということは確かである」ものはある
事実14: もしもあの肥大がＳＭＢＧだとするとそれは高名でないしそれに読み慣れない
事実15: 仮に「その七十二ページ参照は罹り易い」ということは本当だとするとそれは私らしいししかもそれは勝ち上がらない
事実16: 「もしも胡散臭いとすると酒臭くない」物はある

仮説: 「もしＳＭＢＧであるなら高名でないし読み慣れるということはない」物はある
1. 事実14から、仮説が導かれる

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