あの時効中断は百六十以上だということはない
fact1: その御友達は通じ難い fact2: 「なにかは聚落でなくてまた総合戦略であるということはない」ということは成り立たないとしたら剥がれ易いということはない fact3: あの一言語はエスニック・アイデンティティだとすれば「歌道だということはないしさらに人材登用であるということはない」ということは偽である fact4: もしあるものが帯結びであるしそれが通じ難いならば小煩くない fact5: もし仮にその御友達は小煩くないなら「それは選りすぐるし加えて煩わしい」ということは誤りである fact6: もし「「あの諸語は聞き辛くないけど取り木である」ということは確かである」ということは誤っているとするとその御友達は帯結びだ fact7: 「その御友達は選りすぐるしそれは煩わしい」ということは事実でないとすれば「あの時効中断は百六十以上でない」ということは事実である fact8: あの一言語はエスニック・アイデンティティである fact9: もしその御友達は小煩くないとすると「それは煩わしいししかも聞き辛い」ということは事実と異なる fact10: もしあの一言語は聞き辛くないならば「あの諸語は聞き辛いということはないがそれは取り木だ」ということは嘘である fact11: 仮に「何かは歌道でなくて人材登用でない」ということは嘘だとすれば「聞き辛くない」ということは本当だ
fact3 & fact8 -> int1: 「あの一言語は歌道でないし人材登用でない」ということは偽である; fact11 -> int2: もし「あの一言語は歌道であるということはなくてかつ人材登用でない」ということは成り立たないならば聞き辛くない; int1 & int2 -> int3: あの一言語は聞き辛くない; int3 & fact10 -> int4: 「あの諸語は聞き辛くないけれど取り木である」ということは間違いである; int4 & fact6 -> int5: その御友達は帯結びである; int5 & fact1 -> int6: その御友達が帯結びだしさらに通じ難い; fact4 -> int7: その御友達が帯結びでそれが通じ難いとすると小煩くない; int6 & int7 -> int8: その御友達は小煩いということはない; int8 & fact5 -> int9: 「その御友達は選りすぐるし煩わしい」ということは成り立つということはない; int9 & fact7 -> hypothesis;
$facts$ = fact1: その御友達は通じ難い fact2: 「なにかは聚落でなくてまた総合戦略であるということはない」ということは成り立たないとしたら剥がれ易いということはない fact3: あの一言語はエスニック・アイデンティティだとすれば「歌道だということはないしさらに人材登用であるということはない」ということは偽である fact4: もしあるものが帯結びであるしそれが通じ難いならば小煩くない fact5: もし仮にその御友達は小煩くないなら「それは選りすぐるし加えて煩わしい」ということは誤りである fact6: もし「「あの諸語は聞き辛くないけど取り木である」ということは確かである」ということは誤っているとするとその御友達は帯結びだ fact7: 「その御友達は選りすぐるしそれは煩わしい」ということは事実でないとすれば「あの時効中断は百六十以上でない」ということは事実である fact8: あの一言語はエスニック・アイデンティティである fact9: もしその御友達は小煩くないとすると「それは煩わしいししかも聞き辛い」ということは事実と異なる fact10: もしあの一言語は聞き辛くないならば「あの諸語は聞き辛いということはないがそれは取り木だ」ということは嘘である fact11: 仮に「何かは歌道でなくて人材登用でない」ということは嘘だとすれば「聞き辛くない」ということは本当だ ; $hypothesis$ = あの時効中断は百六十以上だということはない ; $proof$ = 
fact3 & fact8 -> int1: 「あの一言語は歌道でないし人材登用でない」ということは偽である; fact11 -> int2: もし「あの一言語は歌道であるということはなくてかつ人材登用でない」ということは成り立たないならば聞き辛くない; int1 & int2 -> int3: あの一言語は聞き辛くない; int3 & fact10 -> int4: 「あの諸語は聞き辛くないけれど取り木である」ということは間違いである; int4 & fact6 -> int5: その御友達は帯結びである; int5 & fact1 -> int6: その御友達が帯結びだしさらに通じ難い; fact4 -> int7: その御友達が帯結びでそれが通じ難いとすると小煩くない; int6 & int7 -> int8: その御友達は小煩いということはない; int8 & fact5 -> int9: 「その御友達は選りすぐるし煩わしい」ということは成り立つということはない; int9 & fact7 -> hypothesis; __PROVED__
事実1: その御友達は通じ難い
事実2: 「なにかは聚落でなくてまた総合戦略であるということはない」ということは成り立たないとしたら剥がれ易いということはない
事実3: あの一言語はエスニック・アイデンティティだとすれば「歌道だということはないしさらに人材登用であるということはない」ということは偽である
事実4: もしあるものが帯結びであるしそれが通じ難いならば小煩くない
事実5: もし仮にその御友達は小煩くないなら「それは選りすぐるし加えて煩わしい」ということは誤りである
事実6: もし「「あの諸語は聞き辛くないけど取り木である」ということは確かである」ということは誤っているとするとその御友達は帯結びだ
事実7: 「その御友達は選りすぐるしそれは煩わしい」ということは事実でないとすれば「あの時効中断は百六十以上でない」ということは事実である
事実8: あの一言語はエスニック・アイデンティティである
事実9: もしその御友達は小煩くないとすると「それは煩わしいししかも聞き辛い」ということは事実と異なる
事実10: もしあの一言語は聞き辛くないならば「あの諸語は聞き辛いということはないがそれは取り木だ」ということは嘘である
事実11: 仮に「何かは歌道でなくて人材登用でない」ということは嘘だとすれば「聞き辛くない」ということは本当だ

仮説: あの時効中断は百六十以上だということはない
1. 事実3と事実8から、推論1: "「あの一言語は歌道でないし人材登用でない」ということは偽である"が導かれる
2. 事実11から、推論2: "もし「あの一言語は歌道であるということはなくてかつ人材登用でない」ということは成り立たないならば聞き辛くない"が導かれる
3. 推論1と推論2から、推論3: "あの一言語は聞き辛くない"が導かれる
4. 推論3と事実10から、推論4: "「あの諸語は聞き辛くないけれど取り木である」ということは間違いである"が導かれる
5. 推論4と事実6から、推論5: "その御友達は帯結びである"が導かれる
6. 推論5と事実1から、推論6: "その御友達が帯結びだしさらに通じ難い"が導かれる
7. 事実4から、推論7: "その御友達が帯結びでそれが通じ難いとすると小煩くない"が導かれる
8. 推論6と推論7から、推論8: "その御友達は小煩いということはない"が導かれる
9. 推論8と事実5から、推論9: "「その御友達は選りすぐるし煩わしい」ということは成り立つということはない"が導かれる
10. 推論9と事実7から、仮説が導かれる

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