「この巣マットは遠いがしかしそれは加飾塗装でない」ということは成り立たない
fact1: 「この巣マットは間違い易いけれど遠いということはない」ということは偽である fact2: なにがしかのものは生まれ難い fact3: もしも「生まれ難い」ものはあるとすれば「この巣マットは遠くてまた加飾塗装である」ということは誤っている fact4: もし仮に「「生まれ難い」ということは成り立つ」物はあるとすると「この巣マットは遠いけれど加飾塗装だということはない」ということは成り立たない fact5: 何らかのものは名状し難いならば「あの飲み会が加飾塗装だけど近付き易くない」ということは間違っている fact6: 「「この巣マットは遠くておまけに加飾塗装である」ということは真実だ」ということは成り立たない fact7: もしとある物が生まれ難いならば遠いが加飾塗装でない
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
この巣マットは遠いがしかし加飾塗装でない
fact8 -> int1: 仮にこの巣マットが生まれ難いとするとそれは遠いけど加飾塗装でない;
$facts$ = fact1: 「この巣マットは間違い易いけれど遠いということはない」ということは偽である fact2: なにがしかのものは生まれ難い fact3: もしも「生まれ難い」ものはあるとすれば「この巣マットは遠くてまた加飾塗装である」ということは誤っている fact4: もし仮に「「生まれ難い」ということは成り立つ」物はあるとすると「この巣マットは遠いけれど加飾塗装だということはない」ということは成り立たない fact5: 何らかのものは名状し難いならば「あの飲み会が加飾塗装だけど近付き易くない」ということは間違っている fact6: 「「この巣マットは遠くておまけに加飾塗装である」ということは真実だ」ということは成り立たない fact7: もしとある物が生まれ難いならば遠いが加飾塗装でない ; $hypothesis$ = 「この巣マットは遠いがしかしそれは加飾塗装でない」ということは成り立たない ; $proof$ = 
fact2 & fact4 -> hypothesis; __PROVED__
事実1: 「この巣マットは間違い易いけれど遠いということはない」ということは偽である
事実2: なにがしかのものは生まれ難い
事実3: もしも「生まれ難い」ものはあるとすれば「この巣マットは遠くてまた加飾塗装である」ということは誤っている
事実4: もし仮に「「生まれ難い」ということは成り立つ」物はあるとすると「この巣マットは遠いけれど加飾塗装だということはない」ということは成り立たない
事実5: 何らかのものは名状し難いならば「あの飲み会が加飾塗装だけど近付き易くない」ということは間違っている
事実6: 「「この巣マットは遠くておまけに加飾塗装である」ということは真実だ」ということは成り立たない
事実7: もしとある物が生まれ難いならば遠いが加飾塗装でない

仮説: 「この巣マットは遠いがしかしそれは加飾塗装でない」ということは成り立たない
1. 事実2と事実4から、仮説が導かれる

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