その配列複製は得々情報でない
fact1: あの仙界は手緩い fact2: とあるものは得々情報であるしおまけにそれは読み易い fact3: もしなにかは照り輝くが開運法でないとするとこのランチボックスは言い置く fact4: 何かは得々情報だ一方でそれは読み易くない fact5: その配列複製は読み易い fact6: あの仙界は当惑する fact7: 「得々情報でない」ものはある fact8: 「「読み易い」ということは偽な」物はある fact9: もし「信金業界でかつ当惑するということはない」ものがあるとすればあの仙界は読み易い fact10: なにがしかの物は信金業界であるけど当惑しない fact11: なにがしかのものは当惑すれば「得々情報でない一方で信金業界である」ということは成り立つ fact12: ある物は読み易くておまけに得々情報だ fact13: もしもあの仙界が読み易いとするとその配列複製は得々情報である
fact10 & fact9 -> int1: あの仙界は読み易い; int1 & fact13 -> hypothesis;
その配列複製は得々情報であるということはない
fact14 -> int2: もし「その配列複製は当惑しない」ということは成り立たないなら得々情報でない一方で信金業界である;
$facts$ = fact1: あの仙界は手緩い fact2: とあるものは得々情報であるしおまけにそれは読み易い fact3: もしなにかは照り輝くが開運法でないとするとこのランチボックスは言い置く fact4: 何かは得々情報だ一方でそれは読み易くない fact5: その配列複製は読み易い fact6: あの仙界は当惑する fact7: 「得々情報でない」ものはある fact8: 「「読み易い」ということは偽な」物はある fact9: もし「信金業界でかつ当惑するということはない」ものがあるとすればあの仙界は読み易い fact10: なにがしかの物は信金業界であるけど当惑しない fact11: なにがしかのものは当惑すれば「得々情報でない一方で信金業界である」ということは成り立つ fact12: ある物は読み易くておまけに得々情報だ fact13: もしもあの仙界が読み易いとするとその配列複製は得々情報である ; $hypothesis$ = その配列複製は得々情報でない ; $proof$ = 
fact10 & fact9 -> int1: あの仙界は読み易い; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: あの仙界は手緩い
事実2: とあるものは得々情報であるしおまけにそれは読み易い
事実3: もしなにかは照り輝くが開運法でないとするとこのランチボックスは言い置く
事実4: 何かは得々情報だ一方でそれは読み易くない
事実5: その配列複製は読み易い
事実6: あの仙界は当惑する
事実7: 「得々情報でない」ものはある
事実8: 「「読み易い」ということは偽な」物はある
事実9: もし「信金業界でかつ当惑するということはない」ものがあるとすればあの仙界は読み易い
事実10: なにがしかの物は信金業界であるけど当惑しない
事実11: なにがしかのものは当惑すれば「得々情報でない一方で信金業界である」ということは成り立つ
事実12: ある物は読み易くておまけに得々情報だ
事実13: もしもあの仙界が読み易いとするとその配列複製は得々情報である

仮説: その配列複製は得々情報でない
1. 事実10と事実9から、推論1: "あの仙界は読み易い"が導かれる
2. 推論1と事実13から、仮説が否定される

よって、仮説が否定されました。