「あのデンドライトは両立し得ないがしかしそれは仄白い」ということは成り立たない
fact1: もしもあのデンドライトは曲げでないならば「両立し得るしそれに仄白い」ということは成り立つということはない fact2: もしも「なにかは扱い兼ねないし印象深くない」ということは誤っているとするとそれは印象深い fact3: 「どれもこれもは躱す」ということは成り立つ fact4: もしもなにかは曲げでないなら「それは両立し得るし仄白い」ということは嘘だ fact5: もしもあの鏡視下手術が木地であるしそれは医療法施行令であるとすれば「あのデンドライトは曲げでない」ということは成り立つ fact6: 仮にあの鏡視下手術が両立し得ないとするとその劇薬は産業企業であるしかつ仕上がる fact7: 「あのデンドライトは両立し得るしそれは仄白い」ということは嘘だ fact8: もし仮にあるものは曲げだということはないなら「それは両立し得るということはないけど仄白い」ということは成り立たない fact9: 何かは紐解かないとしたら「あの鏡視下手術は恐怖政治でない」ということは成り立つ fact10: あの鏡視下手術は医療法施行令である fact11: もし仮にとあるものは躱すとしたら「それは扱い兼ねなくてまた印象深くない」ということは成り立つということはない fact12: もし仮に「あのデンドライトは両立し得る」ということは成り立つならばあの鏡視下手術は両立し得るということはない fact13: とある物は木地だということはないとすると「それは医療法施行令でないしその上仄白い」ということは偽である fact14: あの七係は紐解かない fact15: あの鏡視下手術は木地でまた医療法施行令である fact16: もしあの鏡視下手術が曲げだとするとあのデンドライトは両立し得ないけれど仄白い
fact5 & fact15 -> int1: あのデンドライトは曲げでない; fact8 -> int2: もし仮にあのデンドライトは曲げだということはないとしたら「両立し得ないが仄白い」ということは成り立たない; int1 & int2 -> hypothesis;
fact5 & fact15 -> int1: ¬{B}{b}; fact8 -> int2: ¬{B}{b} -> ¬(¬{A}{b} & {C}{b}); int1 & int2 -> hypothesis;
その劇薬は産業企業であるししかも仕上がる
$facts$ = fact1: もしもあのデンドライトは曲げでないならば「両立し得るしそれに仄白い」ということは成り立つということはない fact2: もしも「なにかは扱い兼ねないし印象深くない」ということは誤っているとするとそれは印象深い fact3: 「どれもこれもは躱す」ということは成り立つ fact4: もしもなにかは曲げでないなら「それは両立し得るし仄白い」ということは嘘だ fact5: もしもあの鏡視下手術が木地であるしそれは医療法施行令であるとすれば「あのデンドライトは曲げでない」ということは成り立つ fact6: 仮にあの鏡視下手術が両立し得ないとするとその劇薬は産業企業であるしかつ仕上がる fact7: 「あのデンドライトは両立し得るしそれは仄白い」ということは嘘だ fact8: もし仮にあるものは曲げだということはないなら「それは両立し得るということはないけど仄白い」ということは成り立たない fact9: 何かは紐解かないとしたら「あの鏡視下手術は恐怖政治でない」ということは成り立つ fact10: あの鏡視下手術は医療法施行令である fact11: もし仮にとあるものは躱すとしたら「それは扱い兼ねなくてまた印象深くない」ということは成り立つということはない fact12: もし仮に「あのデンドライトは両立し得る」ということは成り立つならばあの鏡視下手術は両立し得るということはない fact13: とある物は木地だということはないとすると「それは医療法施行令でないしその上仄白い」ということは偽である fact14: あの七係は紐解かない fact15: あの鏡視下手術は木地でまた医療法施行令である fact16: もしあの鏡視下手術が曲げだとするとあのデンドライトは両立し得ないけれど仄白い ; $hypothesis$ = 「あのデンドライトは両立し得ないがしかしそれは仄白い」ということは成り立たない ; $proof$ = 
fact5 & fact15 -> int1: あのデンドライトは曲げでない; fact8 -> int2: もし仮にあのデンドライトは曲げだということはないとしたら「両立し得ないが仄白い」ということは成り立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあのデンドライトは曲げでないならば「両立し得るしそれに仄白い」ということは成り立つということはない
事実2: もしも「なにかは扱い兼ねないし印象深くない」ということは誤っているとするとそれは印象深い
事実3: 「どれもこれもは躱す」ということは成り立つ
事実4: もしもなにかは曲げでないなら「それは両立し得るし仄白い」ということは嘘だ
事実5: もしもあの鏡視下手術が木地であるしそれは医療法施行令であるとすれば「あのデンドライトは曲げでない」ということは成り立つ
事実6: 仮にあの鏡視下手術が両立し得ないとするとその劇薬は産業企業であるしかつ仕上がる
事実7: 「あのデンドライトは両立し得るしそれは仄白い」ということは嘘だ
事実8: もし仮にあるものは曲げだということはないなら「それは両立し得るということはないけど仄白い」ということは成り立たない
事実9: 何かは紐解かないとしたら「あの鏡視下手術は恐怖政治でない」ということは成り立つ
事実10: あの鏡視下手術は医療法施行令である
事実11: もし仮にとあるものは躱すとしたら「それは扱い兼ねなくてまた印象深くない」ということは成り立つということはない
事実12: もし仮に「あのデンドライトは両立し得る」ということは成り立つならばあの鏡視下手術は両立し得るということはない
事実13: とある物は木地だということはないとすると「それは医療法施行令でないしその上仄白い」ということは偽である
事実14: あの七係は紐解かない
事実15: あの鏡視下手術は木地でまた医療法施行令である
事実16: もしあの鏡視下手術が曲げだとするとあのデンドライトは両立し得ないけれど仄白い

仮説: 「あのデンドライトは両立し得ないがしかしそれは仄白い」ということは成り立たない
1. 事実5と事実15から、推論1: "あのデンドライトは曲げでない"が導かれる
2. 事実8から、推論2: "もし仮にあのデンドライトは曲げだということはないとしたら「両立し得ないが仄白い」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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