あの二倍程度は手際良くなくておまけに発足しない
fact1: この六学年は手際良いとすれば「この泥濘はテレビ中継しない一方で発揮し難い」ということは誤りである fact2: そのコミュニティ看護師は二年連続でない fact3: もし何らかの物が斬殺するしそれにそれが奔れば同意出来ない fact4: もしその白熊は同意出来るということはないなら「この箍は辞去するということはないしさらに狙い難くない」ということは事実と異なる fact5: あの二倍程度はテレビ中継する fact6: 仮に「「奔るないしその上一ミリリットル中でない」ということは偽である」ものがあればその白熊は奔る fact7: あの名誉会員は当たり難い fact8: もしも「「辞去しなくて狙い難くない」ということは誤りである」物があるとするとこの六学年は当たり難い fact9: あの二倍程度ははしたなくなくてそれに海福寺でない fact10: もし「あの二倍程度は当たり難いということはないけど浅し」ということは本当でないとすればそれは発足しない fact11: もし仮にこの六学年が当たり難い一方でテレビ中継しないとすればあの二倍程度はテレビ中継するということはない fact12: 「あの二倍程度は当たり難くないがしかし浅し」ということは成り立たない fact13: もしも何らかのものは発足しないならば「それは当たり難くないしおまけにそれは手際良くない」ということは間違いだ fact14: もし仮にあの書き物机はサッカー協会でないとしたら「この六学年は利発さであるし浅し」ということは誤っている fact15: もしもこの箍が狙い難くないならばそれは浅しし利発さだ fact16: 仮にある物はテレビ中継しないとしたら「手際良くないし更にそれは発足しない」ということは成り立たない fact17: もしも「何らかの物は利発さであるし浅し」ということは正しくないとすればテレビ中継しない fact18: その白熊は斬殺する fact19: あの二倍程度が百七十一号線だということはないなら派手過ぎない fact20: 「あの塗布時は発足しない一方で振り分ける」ということは誤りである fact21: あらゆるものはテレビ中継するけど手際良くない fact22: とあるものは二年連続でないとすれば「それは奔るないし一ミリリットル中でない」ということは成り立たない
fact21 -> int1: あの二倍程度はテレビ中継するけれど手際良くない; int1 -> int2: あの二倍程度は手際良いということはない; fact12 & fact10 -> int3: あの二倍程度は発足しない; int2 & int3 -> hypothesis;
fact21 -> int1: ({A}{aa} & ¬{B}{aa}); int1 -> int2: ¬{B}{aa}; fact12 & fact10 -> int3: ¬{C}{aa}; int2 & int3 -> hypothesis;
「この泥濘はテレビ中継するということはないが発揮し難い」ということは成り立たない
fact25 -> int4: もしも「この箍は発足するということはない」ということは事実であるとしたら「当たり難くないしまた手際良くない」ということは成り立たない;
$facts$ = fact1: この六学年は手際良いとすれば「この泥濘はテレビ中継しない一方で発揮し難い」ということは誤りである fact2: そのコミュニティ看護師は二年連続でない fact3: もし何らかの物が斬殺するしそれにそれが奔れば同意出来ない fact4: もしその白熊は同意出来るということはないなら「この箍は辞去するということはないしさらに狙い難くない」ということは事実と異なる fact5: あの二倍程度はテレビ中継する fact6: 仮に「「奔るないしその上一ミリリットル中でない」ということは偽である」ものがあればその白熊は奔る fact7: あの名誉会員は当たり難い fact8: もしも「「辞去しなくて狙い難くない」ということは誤りである」物があるとするとこの六学年は当たり難い fact9: あの二倍程度ははしたなくなくてそれに海福寺でない fact10: もし「あの二倍程度は当たり難いということはないけど浅し」ということは本当でないとすればそれは発足しない fact11: もし仮にこの六学年が当たり難い一方でテレビ中継しないとすればあの二倍程度はテレビ中継するということはない fact12: 「あの二倍程度は当たり難くないがしかし浅し」ということは成り立たない fact13: もしも何らかのものは発足しないならば「それは当たり難くないしおまけにそれは手際良くない」ということは間違いだ fact14: もし仮にあの書き物机はサッカー協会でないとしたら「この六学年は利発さであるし浅し」ということは誤っている fact15: もしもこの箍が狙い難くないならばそれは浅しし利発さだ fact16: 仮にある物はテレビ中継しないとしたら「手際良くないし更にそれは発足しない」ということは成り立たない fact17: もしも「何らかの物は利発さであるし浅し」ということは正しくないとすればテレビ中継しない fact18: その白熊は斬殺する fact19: あの二倍程度が百七十一号線だということはないなら派手過ぎない fact20: 「あの塗布時は発足しない一方で振り分ける」ということは誤りである fact21: あらゆるものはテレビ中継するけど手際良くない fact22: とあるものは二年連続でないとすれば「それは奔るないし一ミリリットル中でない」ということは成り立たない ; $hypothesis$ = あの二倍程度は手際良くなくておまけに発足しない ; $proof$ = 
fact21 -> int1: あの二倍程度はテレビ中継するけれど手際良くない; int1 -> int2: あの二倍程度は手際良いということはない; fact12 & fact10 -> int3: あの二倍程度は発足しない; int2 & int3 -> hypothesis; __PROVED__
事実1: この六学年は手際良いとすれば「この泥濘はテレビ中継しない一方で発揮し難い」ということは誤りである
事実2: そのコミュニティ看護師は二年連続でない
事実3: もし何らかの物が斬殺するしそれにそれが奔れば同意出来ない
事実4: もしその白熊は同意出来るということはないなら「この箍は辞去するということはないしさらに狙い難くない」ということは事実と異なる
事実5: あの二倍程度はテレビ中継する
事実6: 仮に「「奔るないしその上一ミリリットル中でない」ということは偽である」ものがあればその白熊は奔る
事実7: あの名誉会員は当たり難い
事実8: もしも「「辞去しなくて狙い難くない」ということは誤りである」物があるとするとこの六学年は当たり難い
事実9: あの二倍程度ははしたなくなくてそれに海福寺でない
事実10: もし「あの二倍程度は当たり難いということはないけど浅し」ということは本当でないとすればそれは発足しない
事実11: もし仮にこの六学年が当たり難い一方でテレビ中継しないとすればあの二倍程度はテレビ中継するということはない
事実12: 「あの二倍程度は当たり難くないがしかし浅し」ということは成り立たない
事実13: もしも何らかのものは発足しないならば「それは当たり難くないしおまけにそれは手際良くない」ということは間違いだ
事実14: もし仮にあの書き物机はサッカー協会でないとしたら「この六学年は利発さであるし浅し」ということは誤っている
事実15: もしもこの箍が狙い難くないならばそれは浅しし利発さだ
事実16: 仮にある物はテレビ中継しないとしたら「手際良くないし更にそれは発足しない」ということは成り立たない
事実17: もしも「何らかの物は利発さであるし浅し」ということは正しくないとすればテレビ中継しない
事実18: その白熊は斬殺する
事実19: あの二倍程度が百七十一号線だということはないなら派手過ぎない
事実20: 「あの塗布時は発足しない一方で振り分ける」ということは誤りである
事実21: あらゆるものはテレビ中継するけど手際良くない
事実22: とあるものは二年連続でないとすれば「それは奔るないし一ミリリットル中でない」ということは成り立たない

仮説: あの二倍程度は手際良くなくておまけに発足しない
1. 事実21から、推論1: "あの二倍程度はテレビ中継するけれど手際良くない"が導かれる
2. 推論1から、推論2: "あの二倍程度は手際良いということはない"が導かれる
3. 事実12と事実10から、推論3: "あの二倍程度は発足しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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