「もしも極まり悪いとすれば「鼻歌するしかつ飽きっぽくない」ということは間違いである」ものはある
fact1: もし仮になにがしかのものは地中深いならば「奮闘中であるがしかし回り始めない」ということは成り立たない fact2: 「もし仮に生かせるとすれば「文筆生活だしかつそわそわする」ということは成り立つということはない」ものはある fact3: 「もし「つれない」ということは事実であるならば「脂っぽいし加えて委ねる」ということは成り立たない」ものはある fact4: もしあの難治性・反復性中耳炎は取り寄せるなら「踏み越えるしおまけに坊さんだ」ということは成り立たない fact5: 仮にあの百点満点が極まり悪いとしたらそれは心強いし発声しない fact6: もし仮にこの絵書きさんは極まり悪いとすれば「鼻歌するけど飽きっぽいということはない」ということは偽である fact7: 「真ん中辺であるなら「心苦しいし更に共有し合わない」ということは間違いである」ものはある
fact6 -> hypothesis;
「仮に地中深いならば「奮闘中であるし回り始めない」ということは成り立つということはない」ものはある
fact8 -> int1: あの主祭壇は地中深いとすると「奮闘中であるしさらに回り始めない」ということは間違いである; int1 -> hypothesis;
$facts$ = fact1: もし仮になにがしかのものは地中深いならば「奮闘中であるがしかし回り始めない」ということは成り立たない fact2: 「もし仮に生かせるとすれば「文筆生活だしかつそわそわする」ということは成り立つということはない」ものはある fact3: 「もし「つれない」ということは事実であるならば「脂っぽいし加えて委ねる」ということは成り立たない」ものはある fact4: もしあの難治性・反復性中耳炎は取り寄せるなら「踏み越えるしおまけに坊さんだ」ということは成り立たない fact5: 仮にあの百点満点が極まり悪いとしたらそれは心強いし発声しない fact6: もし仮にこの絵書きさんは極まり悪いとすれば「鼻歌するけど飽きっぽいということはない」ということは偽である fact7: 「真ん中辺であるなら「心苦しいし更に共有し合わない」ということは間違いである」ものはある ; $hypothesis$ = 「もしも極まり悪いとすれば「鼻歌するしかつ飽きっぽくない」ということは間違いである」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものは地中深いならば「奮闘中であるがしかし回り始めない」ということは成り立たない
事実2: 「もし仮に生かせるとすれば「文筆生活だしかつそわそわする」ということは成り立つということはない」ものはある
事実3: 「もし「つれない」ということは事実であるならば「脂っぽいし加えて委ねる」ということは成り立たない」ものはある
事実4: もしあの難治性・反復性中耳炎は取り寄せるなら「踏み越えるしおまけに坊さんだ」ということは成り立たない
事実5: 仮にあの百点満点が極まり悪いとしたらそれは心強いし発声しない
事実6: もし仮にこの絵書きさんは極まり悪いとすれば「鼻歌するけど飽きっぽいということはない」ということは偽である
事実7: 「真ん中辺であるなら「心苦しいし更に共有し合わない」ということは間違いである」ものはある

仮説: 「もしも極まり悪いとすれば「鼻歌するしかつ飽きっぽくない」ということは間違いである」ものはある
1. 事実6から、仮説が導かれる

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