あの縄文時代は新しくない一方で染み込み易い
fact1: あの内部統制は表レイアウトでない fact2: もしあの縄文時代が回りくどくないとするとあの内部統制は回りくどいということはないけどそれは染み込み易い fact3: あの縄文時代は新しくない fact4: あの内部統制が表レイアウトであるし回りくどいとしたらあの悪態は新しくない fact5: もし仮にとあるものは前景化するとしたら「糖類だということはなくておまけにそれは期し難くない」ということは事実と異なる fact6: もしあの内部統制が表レイアウトでないが回りくどいならば「あの悪態は新しくない」ということは本当だ fact7: あの内部統制は表レイアウトであるということはないけれど染み込み易い fact8: あの内部統制は表レイアウトでないけど新しい fact9: どれもこれもは前景化する fact10: もしあの悪態が新しいということはないならあの縄文時代は新しくない一方で染み込み易い fact11: 仮にあの縄文時代が表レイアウトだということはないとするとあの内部統制は表レイアウトでないけど新しい fact12: あの内部統制は表レイアウトでないがしかし回りくどい fact13: もしもあの悪態が新しくないならあの縄文時代は新しくない
fact6 & fact12 -> int1: あの悪態は新しくない; int1 & fact10 -> hypothesis;
「「あの縄文時代は新しくないがしかし染み込み易い」ということは誤りである」ということは正しい
fact14 -> int2: あの内部統制は前景化する; fact15 -> int3: あの内部統制は前景化するとしたら「「それは糖類でなくて加えて期し難いということはない」ということは成り立つ」ということは誤りだ; int2 & int3 -> int4: 「あの内部統制は糖類でなくてその上期し難くない」ということは間違っている;
$facts$ = fact1: あの内部統制は表レイアウトでない fact2: もしあの縄文時代が回りくどくないとするとあの内部統制は回りくどいということはないけどそれは染み込み易い fact3: あの縄文時代は新しくない fact4: あの内部統制が表レイアウトであるし回りくどいとしたらあの悪態は新しくない fact5: もし仮にとあるものは前景化するとしたら「糖類だということはなくておまけにそれは期し難くない」ということは事実と異なる fact6: もしあの内部統制が表レイアウトでないが回りくどいならば「あの悪態は新しくない」ということは本当だ fact7: あの内部統制は表レイアウトであるということはないけれど染み込み易い fact8: あの内部統制は表レイアウトでないけど新しい fact9: どれもこれもは前景化する fact10: もしあの悪態が新しいということはないならあの縄文時代は新しくない一方で染み込み易い fact11: 仮にあの縄文時代が表レイアウトだということはないとするとあの内部統制は表レイアウトでないけど新しい fact12: あの内部統制は表レイアウトでないがしかし回りくどい fact13: もしもあの悪態が新しくないならあの縄文時代は新しくない ; $hypothesis$ = あの縄文時代は新しくない一方で染み込み易い ; $proof$ = 
fact6 & fact12 -> int1: あの悪態は新しくない; int1 & fact10 -> hypothesis; __PROVED__
事実1: あの内部統制は表レイアウトでない
事実2: もしあの縄文時代が回りくどくないとするとあの内部統制は回りくどいということはないけどそれは染み込み易い
事実3: あの縄文時代は新しくない
事実4: あの内部統制が表レイアウトであるし回りくどいとしたらあの悪態は新しくない
事実5: もし仮にとあるものは前景化するとしたら「糖類だということはなくておまけにそれは期し難くない」ということは事実と異なる
事実6: もしあの内部統制が表レイアウトでないが回りくどいならば「あの悪態は新しくない」ということは本当だ
事実7: あの内部統制は表レイアウトであるということはないけれど染み込み易い
事実8: あの内部統制は表レイアウトでないけど新しい
事実9: どれもこれもは前景化する
事実10: もしあの悪態が新しいということはないならあの縄文時代は新しくない一方で染み込み易い
事実11: 仮にあの縄文時代が表レイアウトだということはないとするとあの内部統制は表レイアウトでないけど新しい
事実12: あの内部統制は表レイアウトでないがしかし回りくどい
事実13: もしもあの悪態が新しくないならあの縄文時代は新しくない

仮説: あの縄文時代は新しくない一方で染み込み易い
1. 事実6と事実12から、推論1: "あの悪態は新しくない"が導かれる
2. 推論1と事実10から、仮説が導かれる

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