もしこのパフェが黒くないとするとあの兵役は存在出来るけれど選別出来ない
fact1: もしあの兵役が選別出来ないとすればあの大蔵省印刷局は選別出来るし加えて存在出来る fact2: あの兵役は存在出来る fact3: 仮にこの大蔵省印刷局が存在出来ないとすればあの兵役は存在出来るし加えて選別出来る fact4: もし仮にこのパフェは黒くないならば「あの兵役は存在出来る」ということは本当である fact5: もしもこのパフェが黒くないとすればあの兵役は存在出来るしおまけに選別出来る fact6: あの兵役は選別出来ないなら「この大蔵省印刷局は選別出来る」ということは成り立つ fact7: もしもこの大蔵省印刷局が存在出来ないとするとあの兵役は存在出来るがそれは選別出来るということはない fact8: 仮にこのパフェが黒いということはないならこの大蔵省印刷局は存在出来ない fact9: もし仮にこの大蔵省印刷局が選別出来るということはないならあの兵役は選別出来る fact10: もしもあの兵役が黒いということはないとするとこのパフェは黒いしそれにそれは存在出来る fact11: もし仮にこの大蔵省印刷局は応じ得るということはないとすれば「このパフェは選別出来ない」ということは本当だ fact12: もしこの大蔵省印刷局が存在出来るということはないとすればあの兵役は存在出来る fact13: あの国際比較は黒い fact14: あの兵役は存在出来るしさらに選別出来る fact15: このパフェは付き易い fact16: あの兵役は止め字であるしその上それは選別出来る fact17: もし「なんらかのものは入り難いけど振動パイルドライバでない」ということは嘘だとするとそれは応じ得るということはない fact18: 仮に黒い物が定番革新だとすると存在出来るということはない
void -> assump1: 以下のように仮定する。このパフェは黒いということはない; fact8 & assump1 -> int1: この大蔵省印刷局は存在出来ない; int1 & fact7 -> int2: あの兵役は存在出来るけれどそれは選別出来ない; [assump1] & int2 -> hypothesis;
あの国際比較は存在出来ない
fact21 -> int3: あの国際比較は黒くて定番革新だとしたらそれは存在出来ない; fact22 -> int4: もし「この大蔵省印刷局は入り難い一方で振動パイルドライバでない」ということは誤りであるなら応じ得るということはない;
$facts$ = fact1: もしあの兵役が選別出来ないとすればあの大蔵省印刷局は選別出来るし加えて存在出来る fact2: あの兵役は存在出来る fact3: 仮にこの大蔵省印刷局が存在出来ないとすればあの兵役は存在出来るし加えて選別出来る fact4: もし仮にこのパフェは黒くないならば「あの兵役は存在出来る」ということは本当である fact5: もしもこのパフェが黒くないとすればあの兵役は存在出来るしおまけに選別出来る fact6: あの兵役は選別出来ないなら「この大蔵省印刷局は選別出来る」ということは成り立つ fact7: もしもこの大蔵省印刷局が存在出来ないとするとあの兵役は存在出来るがそれは選別出来るということはない fact8: 仮にこのパフェが黒いということはないならこの大蔵省印刷局は存在出来ない fact9: もし仮にこの大蔵省印刷局が選別出来るということはないならあの兵役は選別出来る fact10: もしもあの兵役が黒いということはないとするとこのパフェは黒いしそれにそれは存在出来る fact11: もし仮にこの大蔵省印刷局は応じ得るということはないとすれば「このパフェは選別出来ない」ということは本当だ fact12: もしこの大蔵省印刷局が存在出来るということはないとすればあの兵役は存在出来る fact13: あの国際比較は黒い fact14: あの兵役は存在出来るしさらに選別出来る fact15: このパフェは付き易い fact16: あの兵役は止め字であるしその上それは選別出来る fact17: もし「なんらかのものは入り難いけど振動パイルドライバでない」ということは嘘だとするとそれは応じ得るということはない fact18: 仮に黒い物が定番革新だとすると存在出来るということはない ; $hypothesis$ = もしこのパフェが黒くないとするとあの兵役は存在出来るけれど選別出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。このパフェは黒いということはない; fact8 & assump1 -> int1: この大蔵省印刷局は存在出来ない; int1 & fact7 -> int2: あの兵役は存在出来るけれどそれは選別出来ない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしあの兵役が選別出来ないとすればあの大蔵省印刷局は選別出来るし加えて存在出来る
事実2: あの兵役は存在出来る
事実3: 仮にこの大蔵省印刷局が存在出来ないとすればあの兵役は存在出来るし加えて選別出来る
事実4: もし仮にこのパフェは黒くないならば「あの兵役は存在出来る」ということは本当である
事実5: もしもこのパフェが黒くないとすればあの兵役は存在出来るしおまけに選別出来る
事実6: あの兵役は選別出来ないなら「この大蔵省印刷局は選別出来る」ということは成り立つ
事実7: もしもこの大蔵省印刷局が存在出来ないとするとあの兵役は存在出来るがそれは選別出来るということはない
事実8: 仮にこのパフェが黒いということはないならこの大蔵省印刷局は存在出来ない
事実9: もし仮にこの大蔵省印刷局が選別出来るということはないならあの兵役は選別出来る
事実10: もしもあの兵役が黒いということはないとするとこのパフェは黒いしそれにそれは存在出来る
事実11: もし仮にこの大蔵省印刷局は応じ得るということはないとすれば「このパフェは選別出来ない」ということは本当だ
事実12: もしこの大蔵省印刷局が存在出来るということはないとすればあの兵役は存在出来る
事実13: あの国際比較は黒い
事実14: あの兵役は存在出来るしさらに選別出来る
事実15: このパフェは付き易い
事実16: あの兵役は止め字であるしその上それは選別出来る
事実17: もし「なんらかのものは入り難いけど振動パイルドライバでない」ということは嘘だとするとそれは応じ得るということはない
事実18: 仮に黒い物が定番革新だとすると存在出来るということはない

仮説: もしこのパフェが黒くないとするとあの兵役は存在出来るけれど選別出来ない
1. 仮定1: 以下のように仮定する。このパフェは黒いということはない
2. 事実8と仮定1から、推論1: "この大蔵省印刷局は存在出来ない"が導かれる
3. 推論1と事実7から、推論2: "あの兵役は存在出来るけれどそれは選別出来ない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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