この重要性はオープンキッチンだ
fact1: あの不発弾は北進する fact2: あの民族誌は住み難い fact3: もしあの民族誌が眩しくないとするとこの重要性は原則的取り扱いであるし住み難い fact4: あの民族誌は北進する fact5: あの民族誌が北進するししかも住み難いならこの重要性はオープンキッチンでない
fact4 & fact2 -> int1: あの民族誌は北進するし住み難い; int1 & fact5 -> hypothesis;
この重要性は原則的取り扱いだし更に和食レストランだ
$facts$ = fact1: あの不発弾は北進する fact2: あの民族誌は住み難い fact3: もしあの民族誌が眩しくないとするとこの重要性は原則的取り扱いであるし住み難い fact4: あの民族誌は北進する fact5: あの民族誌が北進するししかも住み難いならこの重要性はオープンキッチンでない ; $hypothesis$ = この重要性はオープンキッチンだ ; $proof$ = 
fact4 & fact2 -> int1: あの民族誌は北進するし住み難い; int1 & fact5 -> hypothesis; __DISPROVED__
事実1: あの不発弾は北進する
事実2: あの民族誌は住み難い
事実3: もしあの民族誌が眩しくないとするとこの重要性は原則的取り扱いであるし住み難い
事実4: あの民族誌は北進する
事実5: あの民族誌が北進するししかも住み難いならこの重要性はオープンキッチンでない

仮説: この重要性はオープンキッチンだ
1. 事実4と事実2から、推論1: "あの民族誌は北進するし住み難い"が導かれる
2. 推論1と事実5から、仮説が否定される

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