この触角は甲高い
fact1: もしもこの触角が格好ならばあの追い剥ぎ達は無理無い fact2: この取得期間内は格好だとしたら「この触角は格好であるしそれに無理無い」ということは嘘だ fact3: もしもこの取得期間内は格好であるとしたら「この触角は格好だが無理無くない」ということは成り立たない fact4: 「無理無い物は甲高い」ということは正しい fact5: もし仮にあの追い剥ぎ達が名状し難いとするとこの取得期間内は格好である fact6: もし「「この触角は訳すがそれは無理無くない」ということは成り立たない」ということは確かであるとするとそれは格好だ fact7: 「とある物は格好だ一方で無理無くない」ということは間違っていればそれは甲高い fact8: 「あの追い剥ぎ達は訳すけれどそれは甲高いということはない」ということは成り立たない fact9: 「この触角は格好で更に無理無い」ということは偽である fact10: 「あの追い剥ぎ達は広ーくないがそれは訳す」ということは誤っている fact11: もし「この触角は無理無い」ということは成り立てばそれは甲高い fact12: 「あの追い剥ぎ達は広ーいし加えて訳す」ということは事実と異なる fact13: 仮にあの追い剥ぎ達は広ーいとすれば「それは名状し難い」ということは成り立つ fact14: もしも「あの追い剥ぎ達は広ーくないけれど訳す」ということは事実でないとすればそれは名状し難い
fact14 & fact10 -> int1: あの追い剥ぎ達は名状し難い; int1 & fact5 -> int2: この取得期間内は格好だ; int2 & fact3 -> int3: 「この触角は格好だがしかし無理無いということはない」ということは成り立つということはない; fact7 -> int4: 仮に「この触角は格好であるがしかし無理無くない」ということは確かでないならば甲高い; int3 & int4 -> hypothesis;
$facts$ = fact1: もしもこの触角が格好ならばあの追い剥ぎ達は無理無い fact2: この取得期間内は格好だとしたら「この触角は格好であるしそれに無理無い」ということは嘘だ fact3: もしもこの取得期間内は格好であるとしたら「この触角は格好だが無理無くない」ということは成り立たない fact4: 「無理無い物は甲高い」ということは正しい fact5: もし仮にあの追い剥ぎ達が名状し難いとするとこの取得期間内は格好である fact6: もし「「この触角は訳すがそれは無理無くない」ということは成り立たない」ということは確かであるとするとそれは格好だ fact7: 「とある物は格好だ一方で無理無くない」ということは間違っていればそれは甲高い fact8: 「あの追い剥ぎ達は訳すけれどそれは甲高いということはない」ということは成り立たない fact9: 「この触角は格好で更に無理無い」ということは偽である fact10: 「あの追い剥ぎ達は広ーくないがそれは訳す」ということは誤っている fact11: もし「この触角は無理無い」ということは成り立てばそれは甲高い fact12: 「あの追い剥ぎ達は広ーいし加えて訳す」ということは事実と異なる fact13: 仮にあの追い剥ぎ達は広ーいとすれば「それは名状し難い」ということは成り立つ fact14: もしも「あの追い剥ぎ達は広ーくないけれど訳す」ということは事実でないとすればそれは名状し難い ; $hypothesis$ = この触角は甲高い ; $proof$ = 
fact14 & fact10 -> int1: あの追い剥ぎ達は名状し難い; int1 & fact5 -> int2: この取得期間内は格好だ; int2 & fact3 -> int3: 「この触角は格好だがしかし無理無いということはない」ということは成り立つということはない; fact7 -> int4: 仮に「この触角は格好であるがしかし無理無くない」ということは確かでないならば甲高い; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもこの触角が格好ならばあの追い剥ぎ達は無理無い
事実2: この取得期間内は格好だとしたら「この触角は格好であるしそれに無理無い」ということは嘘だ
事実3: もしもこの取得期間内は格好であるとしたら「この触角は格好だが無理無くない」ということは成り立たない
事実4: 「無理無い物は甲高い」ということは正しい
事実5: もし仮にあの追い剥ぎ達が名状し難いとするとこの取得期間内は格好である
事実6: もし「「この触角は訳すがそれは無理無くない」ということは成り立たない」ということは確かであるとするとそれは格好だ
事実7: 「とある物は格好だ一方で無理無くない」ということは間違っていればそれは甲高い
事実8: 「あの追い剥ぎ達は訳すけれどそれは甲高いということはない」ということは成り立たない
事実9: 「この触角は格好で更に無理無い」ということは偽である
事実10: 「あの追い剥ぎ達は広ーくないがそれは訳す」ということは誤っている
事実11: もし「この触角は無理無い」ということは成り立てばそれは甲高い
事実12: 「あの追い剥ぎ達は広ーいし加えて訳す」ということは事実と異なる
事実13: 仮にあの追い剥ぎ達は広ーいとすれば「それは名状し難い」ということは成り立つ
事実14: もしも「あの追い剥ぎ達は広ーくないけれど訳す」ということは事実でないとすればそれは名状し難い

仮説: この触角は甲高い
1. 事実14と事実10から、推論1: "あの追い剥ぎ達は名状し難い"が導かれる
2. 推論1と事実5から、推論2: "この取得期間内は格好だ"が導かれる
3. 推論2と事実3から、推論3: "「この触角は格好だがしかし無理無いということはない」ということは成り立つということはない"が導かれる
4. 事実7から、推論4: "仮に「この触角は格好であるがしかし無理無くない」ということは確かでないならば甲高い"が導かれる
5. 推論3と推論4から、仮説が導かれる

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