その解放後はワセリンだということはない
fact1: もしなんらかの物は蓬莱岳地蔵なら「それは泌乳でないか化膿性脊椎炎でないかどちらもだ」ということは誤りである fact2: もしこの委託費は三四半期であるとすれば「そのペンライトは蓬莱岳地蔵である」ということは成り立つ fact3: もしもそのペンライトが弁ぜないならばその解放後はワセリンでない fact4: もし仮になんらかの物はアセッツでないなら三四半期であるし押さえる fact5: もしも「ある物は泌乳でないか化膿性脊椎炎でないかまたは両方ともである」ということは間違いだとしたら「それは弁ずるということはない」ということは真実である fact6: もし何らかのものが弁ずるし更に化膿性脊椎炎であるならその解放後はワセリンである fact7: そのペンライトは弁ずる fact8: そのペンライトは化膿性脊椎炎だ fact9: 「化膿性脊椎炎である」物はある fact10: もし仮にこの移乗動作がアセッツでないが濃いとしたらこの委託費はアセッツでない
fact7 & fact8 -> int1: そのペンライトは弁ずるしおまけにそれは化膿性脊椎炎だ; int1 -> int2: なにかは弁ずるしそれは化膿性脊椎炎である; int2 & fact6 -> hypothesis;
その解放後はワセリンだということはない
fact14 -> int3: もし仮に「そのペンライトは泌乳だということはないかそれは化膿性脊椎炎だということはない」ということは成り立たないとすればそれは弁ぜない; fact12 -> int4: もしもそのペンライトは蓬莱岳地蔵であるとしたら「それは泌乳でないかまたはそれは化膿性脊椎炎でないか両方ともだ」ということは成り立たない; fact11 -> int5: もしもこの委託費はアセッツでないとしたらそれは三四半期でおまけに押さえる;
$facts$ = fact1: もしなんらかの物は蓬莱岳地蔵なら「それは泌乳でないか化膿性脊椎炎でないかどちらもだ」ということは誤りである fact2: もしこの委託費は三四半期であるとすれば「そのペンライトは蓬莱岳地蔵である」ということは成り立つ fact3: もしもそのペンライトが弁ぜないならばその解放後はワセリンでない fact4: もし仮になんらかの物はアセッツでないなら三四半期であるし押さえる fact5: もしも「ある物は泌乳でないか化膿性脊椎炎でないかまたは両方ともである」ということは間違いだとしたら「それは弁ずるということはない」ということは真実である fact6: もし何らかのものが弁ずるし更に化膿性脊椎炎であるならその解放後はワセリンである fact7: そのペンライトは弁ずる fact8: そのペンライトは化膿性脊椎炎だ fact9: 「化膿性脊椎炎である」物はある fact10: もし仮にこの移乗動作がアセッツでないが濃いとしたらこの委託費はアセッツでない ; $hypothesis$ = その解放後はワセリンだということはない ; $proof$ = 
fact7 & fact8 -> int1: そのペンライトは弁ずるしおまけにそれは化膿性脊椎炎だ; int1 -> int2: なにかは弁ずるしそれは化膿性脊椎炎である; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物は蓬莱岳地蔵なら「それは泌乳でないか化膿性脊椎炎でないかどちらもだ」ということは誤りである
事実2: もしこの委託費は三四半期であるとすれば「そのペンライトは蓬莱岳地蔵である」ということは成り立つ
事実3: もしもそのペンライトが弁ぜないならばその解放後はワセリンでない
事実4: もし仮になんらかの物はアセッツでないなら三四半期であるし押さえる
事実5: もしも「ある物は泌乳でないか化膿性脊椎炎でないかまたは両方ともである」ということは間違いだとしたら「それは弁ずるということはない」ということは真実である
事実6: もし何らかのものが弁ずるし更に化膿性脊椎炎であるならその解放後はワセリンである
事実7: そのペンライトは弁ずる
事実8: そのペンライトは化膿性脊椎炎だ
事実9: 「化膿性脊椎炎である」物はある
事実10: もし仮にこの移乗動作がアセッツでないが濃いとしたらこの委託費はアセッツでない

仮説: その解放後はワセリンだということはない
1. 事実7と事実8から、推論1: "そのペンライトは弁ずるしおまけにそれは化膿性脊椎炎だ"が導かれる
2. 推論1から、推論2: "なにかは弁ずるしそれは化膿性脊椎炎である"が導かれる
3. 推論2と事実6から、仮説が否定される

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