このスパークリングワインは流し送る
fact1: このスパークリングワインが輸入申告でないしまた疎くないとしたらそれは流し送るということはない fact2: その群雄は移送する fact3: 仮にその群雄が案内板でないとしたらそれはなあくないしまたそれは疎ましかない fact4: 仮にその群雄は案内板であるということはないならそれはなあくない fact5: あの空気層は移送する fact6: もし仮にこのスパークリングワインが移送するということはないならその群雄は案内板であるし輸入申告だ fact7: その群雄が疎ましくらないとするとそれは移送しない fact8: その群雄が案内板であるとすればあのスパークリングワインは輸入申告だということはない fact9: 仮にこのスパークリングワインは輸入申告であるけれど疎くないとすればそれは流し送らない fact10: もしその群雄が案内板だとしたらこのスパークリングワインは輸入申告でないししかも疎くない fact11: その群雄はなあいということはない
void -> assump1: 以下のように仮定する。その群雄は案内板でない; fact3 & assump1 -> int1: その群雄はなあくないしおまけにそれは疎ましかない; int1 -> int2: その群雄は疎ましかない; int2 & fact7 -> int3: その群雄は移送しない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その群雄は案内板である; int5 & fact10 -> int6: このスパークリングワインは輸入申告でなくて疎くない; int6 & fact1 -> hypothesis;
その群雄は輸入申告だ
$facts$ = fact1: このスパークリングワインが輸入申告でないしまた疎くないとしたらそれは流し送るということはない fact2: その群雄は移送する fact3: 仮にその群雄が案内板でないとしたらそれはなあくないしまたそれは疎ましかない fact4: 仮にその群雄は案内板であるということはないならそれはなあくない fact5: あの空気層は移送する fact6: もし仮にこのスパークリングワインが移送するということはないならその群雄は案内板であるし輸入申告だ fact7: その群雄が疎ましくらないとするとそれは移送しない fact8: その群雄が案内板であるとすればあのスパークリングワインは輸入申告だということはない fact9: 仮にこのスパークリングワインは輸入申告であるけれど疎くないとすればそれは流し送らない fact10: もしその群雄が案内板だとしたらこのスパークリングワインは輸入申告でないししかも疎くない fact11: その群雄はなあいということはない ; $hypothesis$ = このスパークリングワインは流し送る ; $proof$ = 
void -> assump1: 以下のように仮定する。その群雄は案内板でない; fact3 & assump1 -> int1: その群雄はなあくないしおまけにそれは疎ましかない; int1 -> int2: その群雄は疎ましかない; int2 & fact7 -> int3: その群雄は移送しない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その群雄は案内板である; int5 & fact10 -> int6: このスパークリングワインは輸入申告でなくて疎くない; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: このスパークリングワインが輸入申告でないしまた疎くないとしたらそれは流し送るということはない
事実2: その群雄は移送する
事実3: 仮にその群雄が案内板でないとしたらそれはなあくないしまたそれは疎ましかない
事実4: 仮にその群雄は案内板であるということはないならそれはなあくない
事実5: あの空気層は移送する
事実6: もし仮にこのスパークリングワインが移送するということはないならその群雄は案内板であるし輸入申告だ
事実7: その群雄が疎ましくらないとするとそれは移送しない
事実8: その群雄が案内板であるとすればあのスパークリングワインは輸入申告だということはない
事実9: 仮にこのスパークリングワインは輸入申告であるけれど疎くないとすればそれは流し送らない
事実10: もしその群雄が案内板だとしたらこのスパークリングワインは輸入申告でないししかも疎くない
事実11: その群雄はなあいということはない

仮説: このスパークリングワインは流し送る
1. 仮定1: 以下のように仮定する。その群雄は案内板でない
2. 事実3と仮定1から、推論1: "その群雄はなあくないしおまけにそれは疎ましかない"が導かれる
3. 推論1から、推論2: "その群雄は疎ましかない"が導かれる
4. 推論2と事実7から、推論3: "その群雄は移送しない"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その群雄は案内板である"が導かれる
7. 推論5と事実10から、推論6: "このスパークリングワインは輸入申告でなくて疎くない"が導かれる
8. 推論6と事実1から、仮説が否定される

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