その並びは御覧だ
fact1: もし仮にその報道管制は比較し難いとすれば「その水蛇神リーガは比較し難くないかまたは集まり易いかもしくは両方ともだ」ということは成り立つということはない fact2: その水蛇神リーガは順応し易いということはなくてかつ日本人らしくない fact3: 仮になにかは貸せないなら「それは比較し難いということはないしまた集まり易くない」ということは成り立たない fact4: 何かは人事考課制度でないとしたらそれは貸せない fact5: 比較し難くない物は御覧でないしかつ昼飯時でない fact6: もし仮に「その報道管制は比較し難くないしさらに集まり易くない」ということは成り立たないならこの病気休暇は比較し難くない fact7: その報道管制は御覧でないしさらにそれは免許制でない fact8: もし何らかの物が連携出来ないとしたらそれは貸せない fact9: もし仮にその水蛇神リーガは順応し易くないとすると「その報道管制は冠でない一方でそれは幅員である」ということは成り立たない fact10: もし「なにがしかのものは冠であるということはない一方で幅員である」ということは誤りであるならばそれは新型エンジンだということはない fact11: 仮に「「その報道管制は免許制でなくてその上それは気まずくない」ということは正しくない」ということは事実であるならその並びは御覧である fact12: もしもその水蛇神リーガは気まずくなくておまけに免許制でないとすると「比較し難い」ということは成り立つ fact13: もしなにかは新型エンジンでないとしたら人事考課制度でないかあるいはそれは連携出来るということはない fact14: もしもその報道管制は免許制でないし更に気まずくないならそれは比較し難い fact15: その水蛇神リーガは比較し難くないかあるいは集まり易いか両方である
void -> assump1: 以下のように仮定する。その報道管制は免許制でないし気まずくない; fact14 & assump1 -> int1: その報道管制は比較し難い; int1 & fact1 -> int2: 「その水蛇神リーガは比較し難くないかもしくは集まり易い」ということは間違っている; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その報道管制は免許制でなくておまけにそれは気まずいということはない」ということは事実と異なる; int4 & fact11 -> hypothesis;
この病気休暇は御覧でないししかも昼飯時でない
fact20 -> int5: この病気休暇が比較し難くないとしたらそれは御覧でないししかも昼飯時でない; fact19 -> int6: その報道管制は貸せないなら「比較し難くないししかも集まり易くない」ということは成り立たない; fact18 -> int7: もしもその報道管制は新型エンジンであるということはないとすれば「人事考課制度でないかあるいは連携出来ないか両方だ」ということは成り立つ; fact16 -> int8: 仮に「その報道管制は冠でないが幅員である」ということは成り立つということはないとしたらそれは新型エンジンだということはない; fact22 -> int9: その水蛇神リーガは順応し易くない; fact24 & int9 -> int10: 「その報道管制は冠でない一方でそれは幅員である」ということは偽だ; int8 & int10 -> int11: その報道管制は新型エンジンでない; int7 & int11 -> int12: その報道管制は人事考課制度でないかあるいは連携出来るということはないかあるいはどちらもだ; fact17 -> int13: 仮にその報道管制は人事考課制度でないならば貸せない; fact21 -> int14: もしその報道管制が連携出来ないならばそれは貸せない; int12 & int13 & int14 -> int15: その報道管制は貸せない; int6 & int15 -> int16: 「その報道管制は比較し難くないしまたそれは集まり易いということはない」ということは間違いだ; fact23 & int16 -> int17: この病気休暇は比較し難くない; int5 & int17 -> hypothesis;
$facts$ = fact1: もし仮にその報道管制は比較し難いとすれば「その水蛇神リーガは比較し難くないかまたは集まり易いかもしくは両方ともだ」ということは成り立つということはない fact2: その水蛇神リーガは順応し易いということはなくてかつ日本人らしくない fact3: 仮になにかは貸せないなら「それは比較し難いということはないしまた集まり易くない」ということは成り立たない fact4: 何かは人事考課制度でないとしたらそれは貸せない fact5: 比較し難くない物は御覧でないしかつ昼飯時でない fact6: もし仮に「その報道管制は比較し難くないしさらに集まり易くない」ということは成り立たないならこの病気休暇は比較し難くない fact7: その報道管制は御覧でないしさらにそれは免許制でない fact8: もし何らかの物が連携出来ないとしたらそれは貸せない fact9: もし仮にその水蛇神リーガは順応し易くないとすると「その報道管制は冠でない一方でそれは幅員である」ということは成り立たない fact10: もし「なにがしかのものは冠であるということはない一方で幅員である」ということは誤りであるならばそれは新型エンジンだということはない fact11: 仮に「「その報道管制は免許制でなくてその上それは気まずくない」ということは正しくない」ということは事実であるならその並びは御覧である fact12: もしもその水蛇神リーガは気まずくなくておまけに免許制でないとすると「比較し難い」ということは成り立つ fact13: もしなにかは新型エンジンでないとしたら人事考課制度でないかあるいはそれは連携出来るということはない fact14: もしもその報道管制は免許制でないし更に気まずくないならそれは比較し難い fact15: その水蛇神リーガは比較し難くないかあるいは集まり易いか両方である ; $hypothesis$ = その並びは御覧だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その報道管制は免許制でないし気まずくない; fact14 & assump1 -> int1: その報道管制は比較し難い; int1 & fact1 -> int2: 「その水蛇神リーガは比較し難くないかもしくは集まり易い」ということは間違っている; int2 & fact15 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その報道管制は免許制でなくておまけにそれは気まずいということはない」ということは事実と異なる; int4 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にその報道管制は比較し難いとすれば「その水蛇神リーガは比較し難くないかまたは集まり易いかもしくは両方ともだ」ということは成り立つということはない
事実2: その水蛇神リーガは順応し易いということはなくてかつ日本人らしくない
事実3: 仮になにかは貸せないなら「それは比較し難いということはないしまた集まり易くない」ということは成り立たない
事実4: 何かは人事考課制度でないとしたらそれは貸せない
事実5: 比較し難くない物は御覧でないしかつ昼飯時でない
事実6: もし仮に「その報道管制は比較し難くないしさらに集まり易くない」ということは成り立たないならこの病気休暇は比較し難くない
事実7: その報道管制は御覧でないしさらにそれは免許制でない
事実8: もし何らかの物が連携出来ないとしたらそれは貸せない
事実9: もし仮にその水蛇神リーガは順応し易くないとすると「その報道管制は冠でない一方でそれは幅員である」ということは成り立たない
事実10: もし「なにがしかのものは冠であるということはない一方で幅員である」ということは誤りであるならばそれは新型エンジンだということはない
事実11: 仮に「「その報道管制は免許制でなくてその上それは気まずくない」ということは正しくない」ということは事実であるならその並びは御覧である
事実12: もしもその水蛇神リーガは気まずくなくておまけに免許制でないとすると「比較し難い」ということは成り立つ
事実13: もしなにかは新型エンジンでないとしたら人事考課制度でないかあるいはそれは連携出来るということはない
事実14: もしもその報道管制は免許制でないし更に気まずくないならそれは比較し難い
事実15: その水蛇神リーガは比較し難くないかあるいは集まり易いか両方である

仮説: その並びは御覧だ
1. 仮定1: 以下のように仮定する。その報道管制は免許制でないし気まずくない
2. 事実14と仮定1から、推論1: "その報道管制は比較し難い"が導かれる
3. 推論1と事実1から、推論2: "「その水蛇神リーガは比較し難くないかもしくは集まり易い」ということは間違っている"が導かれる
4. 推論2と事実15から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その報道管制は免許制でなくておまけにそれは気まずいということはない」ということは事実と異なる"が導かれる
6. 推論4と事実11から、仮説が導かれる

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