その熱平衡状態は話し難くないしそれは偉くない
fact1: もしもこの頭蓋が大底であるならその熱平衡状態は話し難くないし偉くない fact2: この頭蓋は大底である fact3: あるものは大底でないとすれば「話し難くないしそれは偉くない」ということは嘘である fact4: もし仮に「「とある物は明示化するけれど鈍くない」ということは成り立つ」ということは誤っているなら大底だということはない fact5: その熱平衡状態は話し難くない
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
「その熱平衡状態は話し難くないし偉くない」ということは偽だ
fact6 -> int1: もしもその熱平衡状態は大底でないとすれば「それは話し難いということはなくて偉くない」ということは間違っている; fact7 -> int2: もし「その熱平衡状態は明示化するがしかしそれは鈍くない」ということは正しいということはないとしたらそれは大底でない;
$facts$ = fact1: もしもこの頭蓋が大底であるならその熱平衡状態は話し難くないし偉くない fact2: この頭蓋は大底である fact3: あるものは大底でないとすれば「話し難くないしそれは偉くない」ということは嘘である fact4: もし仮に「「とある物は明示化するけれど鈍くない」ということは成り立つ」ということは誤っているなら大底だということはない fact5: その熱平衡状態は話し難くない ; $hypothesis$ = その熱平衡状態は話し難くないしそれは偉くない ; $proof$ = 
fact1 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの頭蓋が大底であるならその熱平衡状態は話し難くないし偉くない
事実2: この頭蓋は大底である
事実3: あるものは大底でないとすれば「話し難くないしそれは偉くない」ということは嘘である
事実4: もし仮に「「とある物は明示化するけれど鈍くない」ということは成り立つ」ということは誤っているなら大底だということはない
事実5: その熱平衡状態は話し難くない

仮説: その熱平衡状態は話し難くないしそれは偉くない
1. 事実1と事実2から、仮説が導かれる

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