「このテキスト連結は及び難いが世話しない」ということは間違いである
fact1: この数箇月以内は地熱だということはない fact2: もしあの引き出しは及び難いなら「このテキスト連結は及び難い一方でそれは世話しない」ということは誤りである fact3: もしもその問題作が印象深いとするとあの引き出しは印象深い fact4: とある物が書跡だということはないとするとそれは発足するしその上及び難い fact5: もしもなにかは眺め下ろすかもしくは書跡でないかあるいは両方ならば書跡でない fact6: あの引き出しは発足するしさらに及び難い fact7: 「「発足する」ということは本当な」物はあるとすれば「その情報入手は及び難いがしかし法律家達でない」ということは成り立たない fact8: もしその問題作が古しないなら太しし加えて印象深い fact9: あの引き出しは書跡でかつ結び付き易い fact10: 「このテキスト連結が第二代会長だけどそれは発足しない」ということは成り立たない fact11: 「このテキスト連結は及び難いがそれは発足しない」ということは誤りである fact12: あの引き出しは発足する fact13: 「あの引き出しは発足するがそれは世話しない」ということは成り立たない fact14: もしもあの引き出しが印象深いならこのテキスト連結は眺め下ろすかそれは書跡でないかもしくは両方だ fact15: 「このテキスト連結は及び難くて世話する」ということは誤りである fact16: もしこの数箇月以内は地熱でないとすると「「世話するしさらに動き難い」ということは事実だ」ということは事実でない fact17: あの引き出しは札幌芸術だし第二代会長だ fact18: あのプチトマトは連邦法でその上世話する fact19: もしあの引き出しは及び難いとすれば「このテキスト連結は及び難いししかも世話する」ということは誤っている
fact6 -> int1: 「あの引き出しは及び難い」ということは成り立つ; int1 & fact2 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
「「その情報入手は及び難いけど法律家達でない」ということは確かだ」ということは事実と異なる
$facts$ = fact1: この数箇月以内は地熱だということはない fact2: もしあの引き出しは及び難いなら「このテキスト連結は及び難い一方でそれは世話しない」ということは誤りである fact3: もしもその問題作が印象深いとするとあの引き出しは印象深い fact4: とある物が書跡だということはないとするとそれは発足するしその上及び難い fact5: もしもなにかは眺め下ろすかもしくは書跡でないかあるいは両方ならば書跡でない fact6: あの引き出しは発足するしさらに及び難い fact7: 「「発足する」ということは本当な」物はあるとすれば「その情報入手は及び難いがしかし法律家達でない」ということは成り立たない fact8: もしその問題作が古しないなら太しし加えて印象深い fact9: あの引き出しは書跡でかつ結び付き易い fact10: 「このテキスト連結が第二代会長だけどそれは発足しない」ということは成り立たない fact11: 「このテキスト連結は及び難いがそれは発足しない」ということは誤りである fact12: あの引き出しは発足する fact13: 「あの引き出しは発足するがそれは世話しない」ということは成り立たない fact14: もしもあの引き出しが印象深いならこのテキスト連結は眺め下ろすかそれは書跡でないかもしくは両方だ fact15: 「このテキスト連結は及び難くて世話する」ということは誤りである fact16: もしこの数箇月以内は地熱でないとすると「「世話するしさらに動き難い」ということは事実だ」ということは事実でない fact17: あの引き出しは札幌芸術だし第二代会長だ fact18: あのプチトマトは連邦法でその上世話する fact19: もしあの引き出しは及び難いとすれば「このテキスト連結は及び難いししかも世話する」ということは誤っている ; $hypothesis$ = 「このテキスト連結は及び難いが世話しない」ということは間違いである ; $proof$ = 
fact6 -> int1: 「あの引き出しは及び難い」ということは成り立つ; int1 & fact2 -> hypothesis; __PROVED__
事実1: この数箇月以内は地熱だということはない
事実2: もしあの引き出しは及び難いなら「このテキスト連結は及び難い一方でそれは世話しない」ということは誤りである
事実3: もしもその問題作が印象深いとするとあの引き出しは印象深い
事実4: とある物が書跡だということはないとするとそれは発足するしその上及び難い
事実5: もしもなにかは眺め下ろすかもしくは書跡でないかあるいは両方ならば書跡でない
事実6: あの引き出しは発足するしさらに及び難い
事実7: 「「発足する」ということは本当な」物はあるとすれば「その情報入手は及び難いがしかし法律家達でない」ということは成り立たない
事実8: もしその問題作が古しないなら太しし加えて印象深い
事実9: あの引き出しは書跡でかつ結び付き易い
事実10: 「このテキスト連結が第二代会長だけどそれは発足しない」ということは成り立たない
事実11: 「このテキスト連結は及び難いがそれは発足しない」ということは誤りである
事実12: あの引き出しは発足する
事実13: 「あの引き出しは発足するがそれは世話しない」ということは成り立たない
事実14: もしもあの引き出しが印象深いならこのテキスト連結は眺め下ろすかそれは書跡でないかもしくは両方だ
事実15: 「このテキスト連結は及び難くて世話する」ということは誤りである
事実16: もしこの数箇月以内は地熱でないとすると「「世話するしさらに動き難い」ということは事実だ」ということは事実でない
事実17: あの引き出しは札幌芸術だし第二代会長だ
事実18: あのプチトマトは連邦法でその上世話する
事実19: もしあの引き出しは及び難いとすれば「このテキスト連結は及び難いししかも世話する」ということは誤っている

仮説: 「このテキスト連結は及び難いが世話しない」ということは間違いである
1. 事実6から、推論1: "「あの引き出しは及び難い」ということは成り立つ"が導かれる
2. 推論1と事実2から、仮説が導かれる

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