その大顎はちりちりしない
fact1: あの自然言語はＵＮＡでない fact2: もし仮に「あの避難は茨髭だ」ということは成り立つならその大顎はちりちりする fact3: もしも「あの避難は茨髭でない一方で確認・設定する」ということは間違いであるとするとあの自然言語は草鞋である fact4: あの避難は確認・設定するしおまけに茨髭である fact5: もしなにがしかの物はＵＮＡであるということはないならそれはミスるしまたちりちりする fact6: もしあるものは情報伝達手段でないなら「それは茨髭でない一方で確認・設定する」ということは成り立たない
fact4 -> int1: あの避難は茨髭である; int1 & fact2 -> hypothesis;
あの自然言語はミスるし草鞋だ
fact9 -> int2: 仮にあの自然言語はＵＮＡでないならばミスるしちりちりする; int2 & fact8 -> int3: あの自然言語はミスるししかもそれはちりちりする; int3 -> int4: あの自然言語はミスる; fact10 -> int5: もし仮にあの避難は情報伝達手段でないとすれば「茨髭でなくて確認・設定する」ということは成り立たない;
$facts$ = fact1: あの自然言語はＵＮＡでない fact2: もし仮に「あの避難は茨髭だ」ということは成り立つならその大顎はちりちりする fact3: もしも「あの避難は茨髭でない一方で確認・設定する」ということは間違いであるとするとあの自然言語は草鞋である fact4: あの避難は確認・設定するしおまけに茨髭である fact5: もしなにがしかの物はＵＮＡであるということはないならそれはミスるしまたちりちりする fact6: もしあるものは情報伝達手段でないなら「それは茨髭でない一方で確認・設定する」ということは成り立たない ; $hypothesis$ = その大顎はちりちりしない ; $proof$ = 
fact4 -> int1: あの避難は茨髭である; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: あの自然言語はＵＮＡでない
事実2: もし仮に「あの避難は茨髭だ」ということは成り立つならその大顎はちりちりする
事実3: もしも「あの避難は茨髭でない一方で確認・設定する」ということは間違いであるとするとあの自然言語は草鞋である
事実4: あの避難は確認・設定するしおまけに茨髭である
事実5: もしなにがしかの物はＵＮＡであるということはないならそれはミスるしまたちりちりする
事実6: もしあるものは情報伝達手段でないなら「それは茨髭でない一方で確認・設定する」ということは成り立たない

仮説: その大顎はちりちりしない
1. 事実4から、推論1: "あの避難は茨髭である"が導かれる
2. 推論1と事実2から、仮説が否定される

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