この文化層は肩入れする
fact1: その監視・監督機能は肩入れする fact2: この文化層は建築一式工事だ fact3: もし仮にあの新領土は気高しかもしくは肩入れするとしたら「この文化層は埋置しない」ということは成り立つ fact4: もし仮にこの文化層が埋置するならあの新領土は肩入れしない fact5: この文化層は埋置しない fact6: もし仮にあの新領土が気高しかまたは埋置すればこの文化層は肩入れするということはない fact7: あの新領土は肩入れするか気高しかまたはどちらもだ fact8: あの予測情報は埋置する fact9: あの新領土は埋置するか肩入れする fact10: あの新領土は埋置する fact11: あの新領土が埋置するかあるいは肩入れするかもしくは両方ともならこの文化層は気高しない fact12: この文化層は気高しない fact13: もしもあの新領土が気高しとすればこの文化層は肩入れしない
fact10 -> int1: あの新領土は気高しかあるいは埋置するかまたはどちらもである; int1 & fact6 -> hypothesis;
$facts$ = fact1: その監視・監督機能は肩入れする fact2: この文化層は建築一式工事だ fact3: もし仮にあの新領土は気高しかもしくは肩入れするとしたら「この文化層は埋置しない」ということは成り立つ fact4: もし仮にこの文化層が埋置するならあの新領土は肩入れしない fact5: この文化層は埋置しない fact6: もし仮にあの新領土が気高しかまたは埋置すればこの文化層は肩入れするということはない fact7: あの新領土は肩入れするか気高しかまたはどちらもだ fact8: あの予測情報は埋置する fact9: あの新領土は埋置するか肩入れする fact10: あの新領土は埋置する fact11: あの新領土が埋置するかあるいは肩入れするかもしくは両方ともならこの文化層は気高しない fact12: この文化層は気高しない fact13: もしもあの新領土が気高しとすればこの文化層は肩入れしない ; $hypothesis$ = この文化層は肩入れする ; $proof$ = 
fact10 -> int1: あの新領土は気高しかあるいは埋置するかまたはどちらもである; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: その監視・監督機能は肩入れする
事実2: この文化層は建築一式工事だ
事実3: もし仮にあの新領土は気高しかもしくは肩入れするとしたら「この文化層は埋置しない」ということは成り立つ
事実4: もし仮にこの文化層が埋置するならあの新領土は肩入れしない
事実5: この文化層は埋置しない
事実6: もし仮にあの新領土が気高しかまたは埋置すればこの文化層は肩入れするということはない
事実7: あの新領土は肩入れするか気高しかまたはどちらもだ
事実8: あの予測情報は埋置する
事実9: あの新領土は埋置するか肩入れする
事実10: あの新領土は埋置する
事実11: あの新領土が埋置するかあるいは肩入れするかもしくは両方ともならこの文化層は気高しない
事実12: この文化層は気高しない
事実13: もしもあの新領土が気高しとすればこの文化層は肩入れしない

仮説: この文化層は肩入れする
1. 事実10から、推論1: "あの新領土は気高しかあるいは埋置するかまたはどちらもである"が導かれる
2. 推論1と事実6から、仮説が否定される

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