もしあの四十五日以内が地中深いとすればこの防腐は徹し切れる
fact1: 「この防腐は中分類であるしアップデートする」ということは正しい fact2: もし仮にその二回以上が地中深いとするとあの四十五日以内は引っ張り合う fact3: もし仮に「あの四十五日以内は地中深い」ということは真実であるならそれはジスルフィラムだ fact4: もし仮にあの四十五日以内はジスルフィラムであるとしたら徹し切れる fact5: あの四十五日以内は引っ張り合う fact6: 仮に「あの四十五日以内は進化し易くないけど忘れっぽい」ということは成り立つならそれはアップデートしない fact7: もしもなにかは中分類でないか徹し切れないかもしくはどちらもならばそれは徹し切れない fact8: あの四十五日以内はジスルフィラムであるなら「その二回以上は引っ張り合う」ということは真実だ fact9: 仮にあの四十五日以内がアップデートしないとすると中分類でないかまたは徹し切れるということはないかまたは両方である fact10: その二回以上が引っ張り合うならこの防腐は徹し切れる fact11: もしもなにかは引っ張り合わないとすれば「地中深くて更にジスルフィラムである」ということは成り立つ fact12: もし「「徹し切れない」ということは真実である」物があればこの穿孔方式は徹し切れないかもしくは引っ張り合わないかもしくは両方ともである fact13: あの四十五日以内が気安くないなら進化し易くないしかつ忘れっぽい fact14: もしも何らかのものが徹し切れないかまたは引っ張り合わないなら引っ張り合わない fact15: もしも「地中深い」物はあるとしたら「あの四十五日以内は地中深いかもしくはジスルフィラムであるかまたは両方ともである」ということは正しい
void -> assump1: 以下のように仮定する。あの四十五日以内は地中深い; fact3 & assump1 -> int1: あの四十五日以内はジスルフィラムだ; int1 & fact8 -> int2: その二回以上は引っ張り合う; int2 & fact10 -> int3: この防腐は徹し切れる; [assump1] & int3 -> hypothesis;
あの化粧品会社は徹し切れる
fact16 -> int4: この防腐はアップデートする; int4 -> int5: 「アップデートする」物はある;
$facts$ = fact1: 「この防腐は中分類であるしアップデートする」ということは正しい fact2: もし仮にその二回以上が地中深いとするとあの四十五日以内は引っ張り合う fact3: もし仮に「あの四十五日以内は地中深い」ということは真実であるならそれはジスルフィラムだ fact4: もし仮にあの四十五日以内はジスルフィラムであるとしたら徹し切れる fact5: あの四十五日以内は引っ張り合う fact6: 仮に「あの四十五日以内は進化し易くないけど忘れっぽい」ということは成り立つならそれはアップデートしない fact7: もしもなにかは中分類でないか徹し切れないかもしくはどちらもならばそれは徹し切れない fact8: あの四十五日以内はジスルフィラムであるなら「その二回以上は引っ張り合う」ということは真実だ fact9: 仮にあの四十五日以内がアップデートしないとすると中分類でないかまたは徹し切れるということはないかまたは両方である fact10: その二回以上が引っ張り合うならこの防腐は徹し切れる fact11: もしもなにかは引っ張り合わないとすれば「地中深くて更にジスルフィラムである」ということは成り立つ fact12: もし「「徹し切れない」ということは真実である」物があればこの穿孔方式は徹し切れないかもしくは引っ張り合わないかもしくは両方ともである fact13: あの四十五日以内が気安くないなら進化し易くないしかつ忘れっぽい fact14: もしも何らかのものが徹し切れないかまたは引っ張り合わないなら引っ張り合わない fact15: もしも「地中深い」物はあるとしたら「あの四十五日以内は地中深いかもしくはジスルフィラムであるかまたは両方ともである」ということは正しい ; $hypothesis$ = もしあの四十五日以内が地中深いとすればこの防腐は徹し切れる ; $proof$ = 
void -> assump1: 以下のように仮定する。あの四十五日以内は地中深い; fact3 & assump1 -> int1: あの四十五日以内はジスルフィラムだ; int1 & fact8 -> int2: その二回以上は引っ張り合う; int2 & fact10 -> int3: この防腐は徹し切れる; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「この防腐は中分類であるしアップデートする」ということは正しい
事実2: もし仮にその二回以上が地中深いとするとあの四十五日以内は引っ張り合う
事実3: もし仮に「あの四十五日以内は地中深い」ということは真実であるならそれはジスルフィラムだ
事実4: もし仮にあの四十五日以内はジスルフィラムであるとしたら徹し切れる
事実5: あの四十五日以内は引っ張り合う
事実6: 仮に「あの四十五日以内は進化し易くないけど忘れっぽい」ということは成り立つならそれはアップデートしない
事実7: もしもなにかは中分類でないか徹し切れないかもしくはどちらもならばそれは徹し切れない
事実8: あの四十五日以内はジスルフィラムであるなら「その二回以上は引っ張り合う」ということは真実だ
事実9: 仮にあの四十五日以内がアップデートしないとすると中分類でないかまたは徹し切れるということはないかまたは両方である
事実10: その二回以上が引っ張り合うならこの防腐は徹し切れる
事実11: もしもなにかは引っ張り合わないとすれば「地中深くて更にジスルフィラムである」ということは成り立つ
事実12: もし「「徹し切れない」ということは真実である」物があればこの穿孔方式は徹し切れないかもしくは引っ張り合わないかもしくは両方ともである
事実13: あの四十五日以内が気安くないなら進化し易くないしかつ忘れっぽい
事実14: もしも何らかのものが徹し切れないかまたは引っ張り合わないなら引っ張り合わない
事実15: もしも「地中深い」物はあるとしたら「あの四十五日以内は地中深いかもしくはジスルフィラムであるかまたは両方ともである」ということは正しい

仮説: もしあの四十五日以内が地中深いとすればこの防腐は徹し切れる
1. 仮定1: 以下のように仮定する。あの四十五日以内は地中深い
2. 事実3と仮定1から、推論1: "あの四十五日以内はジスルフィラムだ"が導かれる
3. 推論1と事実8から、推論2: "その二回以上は引っ張り合う"が導かれる
4. 推論2と事実10から、推論3: "この防腐は徹し切れる"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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