あの取穴は白み始めない
fact1: もし何らかのものがＭＩＳＯでないとすれば白み始める fact2: あの取穴が美々しいとすればラビだ fact3: ラビはＭＩＳＯでない fact4: あの取穴は美々しい fact5: もしあの取穴が押し潰すとしたらそれは君主政でない fact6: その就職先は白み始めない fact7: もし仮にこの黄竜真人がラビだとすると神々しかない
fact2 & fact4 -> int1: あの取穴はラビである; fact3 -> int2: もしもあの取穴がラビだとするとそれはＭＩＳＯでない; int1 & int2 -> int3: あの取穴はＭＩＳＯでない; fact1 -> int4: もしあの取穴がＭＩＳＯでないとすればそれは白み始める; int3 & int4 -> hypothesis;
$facts$ = fact1: もし何らかのものがＭＩＳＯでないとすれば白み始める fact2: あの取穴が美々しいとすればラビだ fact3: ラビはＭＩＳＯでない fact4: あの取穴は美々しい fact5: もしあの取穴が押し潰すとしたらそれは君主政でない fact6: その就職先は白み始めない fact7: もし仮にこの黄竜真人がラビだとすると神々しかない ; $hypothesis$ = あの取穴は白み始めない ; $proof$ = 
fact2 & fact4 -> int1: あの取穴はラビである; fact3 -> int2: もしもあの取穴がラビだとするとそれはＭＩＳＯでない; int1 & int2 -> int3: あの取穴はＭＩＳＯでない; fact1 -> int4: もしあの取穴がＭＩＳＯでないとすればそれは白み始める; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし何らかのものがＭＩＳＯでないとすれば白み始める
事実2: あの取穴が美々しいとすればラビだ
事実3: ラビはＭＩＳＯでない
事実4: あの取穴は美々しい
事実5: もしあの取穴が押し潰すとしたらそれは君主政でない
事実6: その就職先は白み始めない
事実7: もし仮にこの黄竜真人がラビだとすると神々しかない

仮説: あの取穴は白み始めない
1. 事実2と事実4から、推論1: "あの取穴はラビである"が導かれる
2. 事実3から、推論2: "もしもあの取穴がラビだとするとそれはＭＩＳＯでない"が導かれる
3. 推論1と推論2から、推論3: "あの取穴はＭＩＳＯでない"が導かれる
4. 事実1から、推論4: "もしあの取穴がＭＩＳＯでないとすればそれは白み始める"が導かれる
5. 推論3と推論4から、仮説が否定される

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