「「話し辛い」ということは成り立つとしたら「入り込まないが文字盤である」ということは誤っている」ものはある
fact1: もし「あの立面図は話し辛い」ということは事実だとすれば入り込まないがしかし文字盤だ fact2: もしもなにがしかの物は話し辛いとすると「それは入り込むということはないがしかし文字盤である」ということは確かでない fact3: 「話し辛いとすると入り込むということはなくて文字盤な」物はある fact4: もしあの立面図は話し辛いなら「入り込むししかも文字盤である」ということは確かでない
fact2 -> int1: もし仮に「あの立面図は話し辛い」ということは確かだとしたら「入り込まなくてそれは文字盤である」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もし「あの立面図は話し辛い」ということは事実だとすれば入り込まないがしかし文字盤だ fact2: もしもなにがしかの物は話し辛いとすると「それは入り込むということはないがしかし文字盤である」ということは確かでない fact3: 「話し辛いとすると入り込むということはなくて文字盤な」物はある fact4: もしあの立面図は話し辛いなら「入り込むししかも文字盤である」ということは確かでない ; $hypothesis$ = 「「話し辛い」ということは成り立つとしたら「入り込まないが文字盤である」ということは誤っている」ものはある ; $proof$ = 
fact2 -> int1: もし仮に「あの立面図は話し辛い」ということは確かだとしたら「入り込まなくてそれは文字盤である」ということは間違っている; int1 -> hypothesis; __PROVED__
事実1: もし「あの立面図は話し辛い」ということは事実だとすれば入り込まないがしかし文字盤だ
事実2: もしもなにがしかの物は話し辛いとすると「それは入り込むということはないがしかし文字盤である」ということは確かでない
事実3: 「話し辛いとすると入り込むということはなくて文字盤な」物はある
事実4: もしあの立面図は話し辛いなら「入り込むししかも文字盤である」ということは確かでない

仮説: 「「話し辛い」ということは成り立つとしたら「入り込まないが文字盤である」ということは誤っている」ものはある
1. 事実2から、推論1: "もし仮に「あの立面図は話し辛い」ということは確かだとしたら「入り込まなくてそれは文字盤である」ということは間違っている"が導かれる
2. 推論1から、仮説が導かれる

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