この粉青は測り兼ねる
fact1: 「もし仮に「この技量は確認し易くないししかも覗き直さない」ということは間違いだとしたら「そのキャニング派は覗き直す」ということは真実である」ということは確かだ fact2: 売り上げアップは接見である fact3: この技量は被保険者期間であるし手厚い fact4: 「もしもあるものは手厚いとしたら「それは確認し易くないしまた覗き直さない」ということは偽だ」ということは確かである fact5: もしもその主要言語は使い切れるとしたら「この粉青は覗き直すがそれは使い切れない」ということは偽である fact6: もし仮に「その主要言語は使い切れる」ということは本当なら「この粉青が覗き直さないしさらに使い切れない」ということは事実でない fact7: もし仮に「何らかのものは覗き直さなくて更に使い切れない」ということは誤っているとしたら測り兼ねる fact8: 仮に「売り上げアップである」ものがあるならその主要言語は使い切れる fact9: もし仮に「この粉青は使い切れる」ということは事実だとすれば「その主要言語は測り兼ねらない一方で使い切れる」ということは偽である fact10: 「売り上げアップな」物はある
fact10 & fact8 -> int1: その主要言語は使い切れる; int1 & fact6 -> int2: 「「この粉青は覗き直すということはないしおまけに使い切れるということはない」ということは事実だ」ということは成り立たない; fact7 -> int3: もし「この粉青は覗き直さなくてしかもそれは使い切れない」ということは事実と異なれば測り兼ねる; int2 & int3 -> hypothesis;
fact10 & fact8 -> int1: {B}{a}; int1 & fact6 -> int2: ¬(¬{D}{b} & ¬{B}{b}); fact7 -> int3: ¬(¬{D}{b} & ¬{B}{b}) -> {C}{b}; int2 & int3 -> hypothesis;
「この膝蓋支帯は接見でなくて加えて見え隠れしない」ということは偽だ
fact11 -> int4: もしもその主要言語が売り上げアップならそれは接見だ;
$facts$ = fact1: 「もし仮に「この技量は確認し易くないししかも覗き直さない」ということは間違いだとしたら「そのキャニング派は覗き直す」ということは真実である」ということは確かだ fact2: 売り上げアップは接見である fact3: この技量は被保険者期間であるし手厚い fact4: 「もしもあるものは手厚いとしたら「それは確認し易くないしまた覗き直さない」ということは偽だ」ということは確かである fact5: もしもその主要言語は使い切れるとしたら「この粉青は覗き直すがそれは使い切れない」ということは偽である fact6: もし仮に「その主要言語は使い切れる」ということは本当なら「この粉青が覗き直さないしさらに使い切れない」ということは事実でない fact7: もし仮に「何らかのものは覗き直さなくて更に使い切れない」ということは誤っているとしたら測り兼ねる fact8: 仮に「売り上げアップである」ものがあるならその主要言語は使い切れる fact9: もし仮に「この粉青は使い切れる」ということは事実だとすれば「その主要言語は測り兼ねらない一方で使い切れる」ということは偽である fact10: 「売り上げアップな」物はある ; $hypothesis$ = この粉青は測り兼ねる ; $proof$ = 
fact10 & fact8 -> int1: その主要言語は使い切れる; int1 & fact6 -> int2: 「「この粉青は覗き直すということはないしおまけに使い切れるということはない」ということは事実だ」ということは成り立たない; fact7 -> int3: もし「この粉青は覗き直さなくてしかもそれは使い切れない」ということは事実と異なれば測り兼ねる; int2 & int3 -> hypothesis; __PROVED__
事実1: 「もし仮に「この技量は確認し易くないししかも覗き直さない」ということは間違いだとしたら「そのキャニング派は覗き直す」ということは真実である」ということは確かだ
事実2: 売り上げアップは接見である
事実3: この技量は被保険者期間であるし手厚い
事実4: 「もしもあるものは手厚いとしたら「それは確認し易くないしまた覗き直さない」ということは偽だ」ということは確かである
事実5: もしもその主要言語は使い切れるとしたら「この粉青は覗き直すがそれは使い切れない」ということは偽である
事実6: もし仮に「その主要言語は使い切れる」ということは本当なら「この粉青が覗き直さないしさらに使い切れない」ということは事実でない
事実7: もし仮に「何らかのものは覗き直さなくて更に使い切れない」ということは誤っているとしたら測り兼ねる
事実8: 仮に「売り上げアップである」ものがあるならその主要言語は使い切れる
事実9: もし仮に「この粉青は使い切れる」ということは事実だとすれば「その主要言語は測り兼ねらない一方で使い切れる」ということは偽である
事実10: 「売り上げアップな」物はある

仮説: この粉青は測り兼ねる
1. 事実10と事実8から、推論1: "その主要言語は使い切れる"が導かれる
2. 推論1と事実6から、推論2: "「「この粉青は覗き直すということはないしおまけに使い切れるということはない」ということは事実だ」ということは成り立たない"が導かれる
3. 事実7から、推論3: "もし「この粉青は覗き直さなくてしかもそれは使い切れない」ということは事実と異なれば測り兼ねる"が導かれる
4. 推論2と推論3から、仮説が導かれる

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