「あの毛髪は住宅内でない」ということは誤っている
fact1: あの毛髪は住宅内である fact2: あの毛髪は倹しい fact3: この葬列は住宅内だ fact4: その距離分解能は住宅内である
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: あの毛髪は住宅内である fact2: あの毛髪は倹しい fact3: この葬列は住宅内だ fact4: その距離分解能は住宅内である ; $hypothesis$ = 「あの毛髪は住宅内でない」ということは誤っている ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの毛髪は住宅内である
事実2: あの毛髪は倹しい
事実3: この葬列は住宅内だ
事実4: その距離分解能は住宅内である

仮説: 「あの毛髪は住宅内でない」ということは誤っている
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。