あの大吟醸は嘲り笑わない
fact1: 仮に「何らかのものは古いということはなくておまけに女芯でない」ということは誤っているとするとラベルしない fact2: もしもあるものが古くないならば特集しないしそれにラベルする fact3: その共産党軍は特集する fact4: もし仮にその入京はラベルするということはないとすれば「「あの米国内は女芯であるがラベルしない」ということは間違いだ」ということは本当である fact5: もしもとある物は特集しないとしたら「薬草だけど御逃げに成らない」ということは成り立つということはない fact6: 仮に「何らかのものは女芯だけれどラベルするということはない」ということは嘘だとすれば古いということはない fact7: もしもその入京が青白くないか捜し回るということはないなら「ラベルするということはない」ということは成り立つ fact8: その入京は青白いかまたは捜し回るということはない fact9: 仮になにがしかのものが古くないとすればそれは薬草でない fact10: あの米国内が薬草でないとすればあの大吟醸は嘲り笑わない fact11: もしもこの血清Ｋが特集するならその入京は青白くないかそれは捜し回らない fact12: この血清Ｋは特集する fact13: もしも何かはラベルしないならそれは嘲り笑うしさらに特集する
fact11 & fact12 -> int1: その入京は青白くないかあるいは捜し回らない; int1 & fact7 -> int2: その入京はラベルしない; int2 & fact4 -> int3: 「あの米国内は女芯であるけどそれはラベルしない」ということは偽だ; fact6 -> int4: 仮に「あの米国内は女芯だがしかしそれはラベルしない」ということは嘘であるとするとそれは古くない; int3 & int4 -> int5: 「あの米国内は古くない」ということは成り立つ; fact9 -> int6: もしあの米国内が古くないとすれば薬草でない; int5 & int6 -> int7: 「あの米国内は薬草でない」ということは正しい; int7 & fact10 -> hypothesis;
あの大吟醸は嘲り笑う
fact14 -> int8: あの大吟醸がラベルしないとしたらそれは嘲り笑うしおまけに特集する; fact15 -> int9: もし仮に「あの大吟醸は古いということはないしその上女芯でない」ということは間違いであるならそれはラベルしない;
$facts$ = fact1: 仮に「何らかのものは古いということはなくておまけに女芯でない」ということは誤っているとするとラベルしない fact2: もしもあるものが古くないならば特集しないしそれにラベルする fact3: その共産党軍は特集する fact4: もし仮にその入京はラベルするということはないとすれば「「あの米国内は女芯であるがラベルしない」ということは間違いだ」ということは本当である fact5: もしもとある物は特集しないとしたら「薬草だけど御逃げに成らない」ということは成り立つということはない fact6: 仮に「何らかのものは女芯だけれどラベルするということはない」ということは嘘だとすれば古いということはない fact7: もしもその入京が青白くないか捜し回るということはないなら「ラベルするということはない」ということは成り立つ fact8: その入京は青白いかまたは捜し回るということはない fact9: 仮になにがしかのものが古くないとすればそれは薬草でない fact10: あの米国内が薬草でないとすればあの大吟醸は嘲り笑わない fact11: もしもこの血清Ｋが特集するならその入京は青白くないかそれは捜し回らない fact12: この血清Ｋは特集する fact13: もしも何かはラベルしないならそれは嘲り笑うしさらに特集する ; $hypothesis$ = あの大吟醸は嘲り笑わない ; $proof$ = 
fact11 & fact12 -> int1: その入京は青白くないかあるいは捜し回らない; int1 & fact7 -> int2: その入京はラベルしない; int2 & fact4 -> int3: 「あの米国内は女芯であるけどそれはラベルしない」ということは偽だ; fact6 -> int4: 仮に「あの米国内は女芯だがしかしそれはラベルしない」ということは嘘であるとするとそれは古くない; int3 & int4 -> int5: 「あの米国内は古くない」ということは成り立つ; fact9 -> int6: もしあの米国内が古くないとすれば薬草でない; int5 & int6 -> int7: 「あの米国内は薬草でない」ということは正しい; int7 & fact10 -> hypothesis; __PROVED__
事実1: 仮に「何らかのものは古いということはなくておまけに女芯でない」ということは誤っているとするとラベルしない
事実2: もしもあるものが古くないならば特集しないしそれにラベルする
事実3: その共産党軍は特集する
事実4: もし仮にその入京はラベルするということはないとすれば「「あの米国内は女芯であるがラベルしない」ということは間違いだ」ということは本当である
事実5: もしもとある物は特集しないとしたら「薬草だけど御逃げに成らない」ということは成り立つということはない
事実6: 仮に「何らかのものは女芯だけれどラベルするということはない」ということは嘘だとすれば古いということはない
事実7: もしもその入京が青白くないか捜し回るということはないなら「ラベルするということはない」ということは成り立つ
事実8: その入京は青白いかまたは捜し回るということはない
事実9: 仮になにがしかのものが古くないとすればそれは薬草でない
事実10: あの米国内が薬草でないとすればあの大吟醸は嘲り笑わない
事実11: もしもこの血清Ｋが特集するならその入京は青白くないかそれは捜し回らない
事実12: この血清Ｋは特集する
事実13: もしも何かはラベルしないならそれは嘲り笑うしさらに特集する

仮説: あの大吟醸は嘲り笑わない
1. 事実11と事実12から、推論1: "その入京は青白くないかあるいは捜し回らない"が導かれる
2. 推論1と事実7から、推論2: "その入京はラベルしない"が導かれる
3. 推論2と事実4から、推論3: "「あの米国内は女芯であるけどそれはラベルしない」ということは偽だ"が導かれる
4. 事実6から、推論4: "仮に「あの米国内は女芯だがしかしそれはラベルしない」ということは嘘であるとするとそれは古くない"が導かれる
5. 推論3と推論4から、推論5: "「あの米国内は古くない」ということは成り立つ"が導かれる
6. 事実9から、推論6: "もしあの米国内が古くないとすれば薬草でない"が導かれる
7. 推論5と推論6から、推論7: "「あの米国内は薬草でない」ということは正しい"が導かれる
8. 推論7と事実10から、仮説が導かれる

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