この野外博物館は信じ難い
fact1: もし仮にこの野外博物館が混合しないならばこの白緑は信じ難くない fact2: この野外博物館は信じ難いとすると「この白緑は入手し易い一方で混合しない」ということは間違っている fact3: その御一族は混合するということはない fact4: この白緑は一望しない fact5: 「その御一族は入手し易くない」ということは成り立つ fact6: その御一族はモンブランだ fact7: この白緑が入手し易くないならばあの失念は展示しない fact8: この白緑は展示しない fact9: もしなにがしかのものがモンブランでないならばそれは展示するしさらにそれは信じ難い fact10: この野外博物館は入手し易い fact11: 仮にその失念は入手し易いとすると「この白緑は展示する一方でモンブランでない」ということは誤りである fact12: 仮に「この白緑はモンブランでない」ということは間違っていないとすればあの御一族は混合しない fact13: もしもその失念は展示しないとすると「その御一族はモンブランだということはない」ということは正しい fact14: 仮に「この白緑は入手し易いが混合しない」ということは誤りであるならばその失念は展示しない
void -> assump1: 以下のように仮定する。この野外博物館は信じ難い; fact2 & assump1 -> int1: 「この白緑は入手し易いけれど混合しない」ということは成り立たない; int1 & fact14 -> int2: その失念は展示しない; int2 & fact13 -> int3: その御一族はモンブランでない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この野外博物館は信じ難い
fact15 -> int5: この野外博物館はモンブランでないならばそれは展示するしおまけに信じ難い;
$facts$ = fact1: もし仮にこの野外博物館が混合しないならばこの白緑は信じ難くない fact2: この野外博物館は信じ難いとすると「この白緑は入手し易い一方で混合しない」ということは間違っている fact3: その御一族は混合するということはない fact4: この白緑は一望しない fact5: 「その御一族は入手し易くない」ということは成り立つ fact6: その御一族はモンブランだ fact7: この白緑が入手し易くないならばあの失念は展示しない fact8: この白緑は展示しない fact9: もしなにがしかのものがモンブランでないならばそれは展示するしさらにそれは信じ難い fact10: この野外博物館は入手し易い fact11: 仮にその失念は入手し易いとすると「この白緑は展示する一方でモンブランでない」ということは誤りである fact12: 仮に「この白緑はモンブランでない」ということは間違っていないとすればあの御一族は混合しない fact13: もしもその失念は展示しないとすると「その御一族はモンブランだということはない」ということは正しい fact14: 仮に「この白緑は入手し易いが混合しない」ということは誤りであるならばその失念は展示しない ; $hypothesis$ = この野外博物館は信じ難い ; $proof$ = 
void -> assump1: 以下のように仮定する。この野外博物館は信じ難い; fact2 & assump1 -> int1: 「この白緑は入手し易いけれど混合しない」ということは成り立たない; int1 & fact14 -> int2: その失念は展示しない; int2 & fact13 -> int3: その御一族はモンブランでない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの野外博物館が混合しないならばこの白緑は信じ難くない
事実2: この野外博物館は信じ難いとすると「この白緑は入手し易い一方で混合しない」ということは間違っている
事実3: その御一族は混合するということはない
事実4: この白緑は一望しない
事実5: 「その御一族は入手し易くない」ということは成り立つ
事実6: その御一族はモンブランだ
事実7: この白緑が入手し易くないならばあの失念は展示しない
事実8: この白緑は展示しない
事実9: もしなにがしかのものがモンブランでないならばそれは展示するしさらにそれは信じ難い
事実10: この野外博物館は入手し易い
事実11: 仮にその失念は入手し易いとすると「この白緑は展示する一方でモンブランでない」ということは誤りである
事実12: 仮に「この白緑はモンブランでない」ということは間違っていないとすればあの御一族は混合しない
事実13: もしもその失念は展示しないとすると「その御一族はモンブランだということはない」ということは正しい
事実14: 仮に「この白緑は入手し易いが混合しない」ということは誤りであるならばその失念は展示しない

仮説: この野外博物館は信じ難い
1. 仮定1: 以下のように仮定する。この野外博物館は信じ難い
2. 事実2と仮定1から、推論1: "「この白緑は入手し易いけれど混合しない」ということは成り立たない"が導かれる
3. 推論1と事実14から、推論2: "その失念は展示しない"が導かれる
4. 推論2と事実13から、推論3: "その御一族はモンブランでない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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