この陳列棚はＭＩＤＩである
fact1: もしその日本側統計は三万一系であるならば繰り広げるということはない fact2: この課税当局は繰り広げない fact3: この課税当局が戦略でないならばその日本側統計は三万一系だ fact4: 仮にその日本側統計が繰り広げないとしたらそれは重度身障者でない fact5: もしその日本側統計が重度身障者でないとしたらこの陳列棚はめでたくないしそれは重度身障者でない fact6: この課税当局は戦略でない fact7: この陳列棚はめでたくないし更に重度身障者でないとすれば隙間無い fact8: もし仮にこの陳列棚が隙間無いとしたらＭＩＤＩだ
fact3 & fact6 -> int1: その日本側統計は三万一系である; int1 & fact1 -> int2: その日本側統計は繰り広げない; int2 & fact4 -> int3: 「その日本側統計は重度身障者でない」ということは真実である; int3 & fact5 -> int4: この陳列棚はめでたくなくてその上重度身障者でない; int4 & fact7 -> int5: この陳列棚は隙間無い; int5 & fact8 -> hypothesis;
$facts$ = fact1: もしその日本側統計は三万一系であるならば繰り広げるということはない fact2: この課税当局は繰り広げない fact3: この課税当局が戦略でないならばその日本側統計は三万一系だ fact4: 仮にその日本側統計が繰り広げないとしたらそれは重度身障者でない fact5: もしその日本側統計が重度身障者でないとしたらこの陳列棚はめでたくないしそれは重度身障者でない fact6: この課税当局は戦略でない fact7: この陳列棚はめでたくないし更に重度身障者でないとすれば隙間無い fact8: もし仮にこの陳列棚が隙間無いとしたらＭＩＤＩだ ; $hypothesis$ = この陳列棚はＭＩＤＩである ; $proof$ = 
fact3 & fact6 -> int1: その日本側統計は三万一系である; int1 & fact1 -> int2: その日本側統計は繰り広げない; int2 & fact4 -> int3: 「その日本側統計は重度身障者でない」ということは真実である; int3 & fact5 -> int4: この陳列棚はめでたくなくてその上重度身障者でない; int4 & fact7 -> int5: この陳列棚は隙間無い; int5 & fact8 -> hypothesis; __PROVED__
事実1: もしその日本側統計は三万一系であるならば繰り広げるということはない
事実2: この課税当局は繰り広げない
事実3: この課税当局が戦略でないならばその日本側統計は三万一系だ
事実4: 仮にその日本側統計が繰り広げないとしたらそれは重度身障者でない
事実5: もしその日本側統計が重度身障者でないとしたらこの陳列棚はめでたくないしそれは重度身障者でない
事実6: この課税当局は戦略でない
事実7: この陳列棚はめでたくないし更に重度身障者でないとすれば隙間無い
事実8: もし仮にこの陳列棚が隙間無いとしたらＭＩＤＩだ

仮説: この陳列棚はＭＩＤＩである
1. 事実3と事実6から、推論1: "その日本側統計は三万一系である"が導かれる
2. 推論1と事実1から、推論2: "その日本側統計は繰り広げない"が導かれる
3. 推論2と事実4から、推論3: "「その日本側統計は重度身障者でない」ということは真実である"が導かれる
4. 推論3と事実5から、推論4: "この陳列棚はめでたくなくてその上重度身障者でない"が導かれる
5. 推論4と事実7から、推論5: "この陳列棚は隙間無い"が導かれる
6. 推論5と事実8から、仮説が導かれる

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