「「もし「値切るということはないししかも親らしくない」ということは成り立つということはないとすれば嫉妬しない」ものはある」ということは確かだ
fact1: もしも「「その典拠は値切らないしおまけに親らしくない」ということは間違っている」ということは成り立つとすればそれは嫉妬しない fact2: 「もしも親らしいとすれば嫉妬しない」ものはある fact3: 「もしも「ＬＩＳＮでなくて更に開き易くない」ということは誤りであるとすると鞘走る」物はある fact4: 「とあるものは盛り返さないししかも当初予算でない」ということは間違いだとするとそれは辛いということはない fact5: もし仮に「その分類指標は強くないけど開き易い」ということは成り立たないならそれは嫉妬しない fact6: 「「塗すらなくて思し召さない」ということは間違いであるならば喜ばしいということはない」ものはある fact7: 「その典拠は漂うということはなくてしかも親らしくない」ということは偽だとするとそれは勇ましいということはない fact8: 「もし「血腥くなくて分社化するということはない」ということは誤っているとすれば更ける」ものはある fact9: もしも「その典拠が値切らないしさらに親らしくない」ということは成り立たないとすれば嫉妬する fact10: 「もし仮に「由々しくないしそれに設計・開発だということはない」ということは偽であるなら重ね合わない」ものはある fact11: 「もし重たいならば更けない」ものはある fact12: 「もしも「痛々しくないがしかし撫で摩る」ということは成り立たないならリフォームしない」ものはある fact13: 仮に「その典拠は嫉妬するということはないしまたそれは破れ難くない」ということは成り立たないとしたら酸っぱくない
fact1 -> hypothesis;
仮に「あの溶血性貧血は盛り返さなくておまけにそれは当初予算だということはない」ということは間違いだとすれば「辛いということはない」ということは本当である
fact14 -> hypothesis;
$facts$ = fact1: もしも「「その典拠は値切らないしおまけに親らしくない」ということは間違っている」ということは成り立つとすればそれは嫉妬しない fact2: 「もしも親らしいとすれば嫉妬しない」ものはある fact3: 「もしも「ＬＩＳＮでなくて更に開き易くない」ということは誤りであるとすると鞘走る」物はある fact4: 「とあるものは盛り返さないししかも当初予算でない」ということは間違いだとするとそれは辛いということはない fact5: もし仮に「その分類指標は強くないけど開き易い」ということは成り立たないならそれは嫉妬しない fact6: 「「塗すらなくて思し召さない」ということは間違いであるならば喜ばしいということはない」ものはある fact7: 「その典拠は漂うということはなくてしかも親らしくない」ということは偽だとするとそれは勇ましいということはない fact8: 「もし「血腥くなくて分社化するということはない」ということは誤っているとすれば更ける」ものはある fact9: もしも「その典拠が値切らないしさらに親らしくない」ということは成り立たないとすれば嫉妬する fact10: 「もし仮に「由々しくないしそれに設計・開発だということはない」ということは偽であるなら重ね合わない」ものはある fact11: 「もし重たいならば更けない」ものはある fact12: 「もしも「痛々しくないがしかし撫で摩る」ということは成り立たないならリフォームしない」ものはある fact13: 仮に「その典拠は嫉妬するということはないしまたそれは破れ難くない」ということは成り立たないとしたら酸っぱくない ; $hypothesis$ = 「「もし「値切るということはないししかも親らしくない」ということは成り立つということはないとすれば嫉妬しない」ものはある」ということは確かだ ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしも「「その典拠は値切らないしおまけに親らしくない」ということは間違っている」ということは成り立つとすればそれは嫉妬しない
事実2: 「もしも親らしいとすれば嫉妬しない」ものはある
事実3: 「もしも「ＬＩＳＮでなくて更に開き易くない」ということは誤りであるとすると鞘走る」物はある
事実4: 「とあるものは盛り返さないししかも当初予算でない」ということは間違いだとするとそれは辛いということはない
事実5: もし仮に「その分類指標は強くないけど開き易い」ということは成り立たないならそれは嫉妬しない
事実6: 「「塗すらなくて思し召さない」ということは間違いであるならば喜ばしいということはない」ものはある
事実7: 「その典拠は漂うということはなくてしかも親らしくない」ということは偽だとするとそれは勇ましいということはない
事実8: 「もし「血腥くなくて分社化するということはない」ということは誤っているとすれば更ける」ものはある
事実9: もしも「その典拠が値切らないしさらに親らしくない」ということは成り立たないとすれば嫉妬する
事実10: 「もし仮に「由々しくないしそれに設計・開発だということはない」ということは偽であるなら重ね合わない」ものはある
事実11: 「もし重たいならば更けない」ものはある
事実12: 「もしも「痛々しくないがしかし撫で摩る」ということは成り立たないならリフォームしない」ものはある
事実13: 仮に「その典拠は嫉妬するということはないしまたそれは破れ難くない」ということは成り立たないとしたら酸っぱくない

仮説: 「「もし「値切るということはないししかも親らしくない」ということは成り立つということはないとすれば嫉妬しない」ものはある」ということは確かだ
1. 事実1から、仮説が導かれる

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