この一号住居跡は排水管でない
fact1: 仮にこの一号住居跡が満足出来ないか這い上るかまたは両方だとすれば排水管である fact2: この一号住居跡は満足出来ないか這い上る fact3: この一号住居跡は満足出来るかもしくはそれは這い上るかあるいは両方だ
fact1 & fact2 -> hypothesis;
fact1 & fact2 -> hypothesis;
$facts$ = fact1: 仮にこの一号住居跡が満足出来ないか這い上るかまたは両方だとすれば排水管である fact2: この一号住居跡は満足出来ないか這い上る fact3: この一号住居跡は満足出来るかもしくはそれは這い上るかあるいは両方だ ; $hypothesis$ = この一号住居跡は排水管でない ; $proof$ = 
fact1 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮にこの一号住居跡が満足出来ないか這い上るかまたは両方だとすれば排水管である
事実2: この一号住居跡は満足出来ないか這い上る
事実3: この一号住居跡は満足出来るかもしくはそれは這い上るかあるいは両方だ

仮説: この一号住居跡は排水管でない
1. 事実1と事実2から、仮説が否定される

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