「なにがしかのものは二世帯住宅でないし加えて三種類でない」ということは成り立たない
fact1: 仮にこの女子高生が二世帯住宅ならばこの開始位置は二世帯住宅でなくて三種類であるということはない fact2: このアンチョビーは損壊する fact3: この民間人は損壊する fact4: もしこの民間人が損壊するとするとこの女子高生は二世帯住宅である fact5: ある物は合図する一方でそれは入れ易いということはない
fact4 & fact3 -> int1: この女子高生は二世帯住宅である; int1 & fact1 -> int2: この開始位置は二世帯住宅だということはなくてかつ三種類でない; int2 -> hypothesis;
$facts$ = fact1: 仮にこの女子高生が二世帯住宅ならばこの開始位置は二世帯住宅でなくて三種類であるということはない fact2: このアンチョビーは損壊する fact3: この民間人は損壊する fact4: もしこの民間人が損壊するとするとこの女子高生は二世帯住宅である fact5: ある物は合図する一方でそれは入れ易いということはない ; $hypothesis$ = 「なにがしかのものは二世帯住宅でないし加えて三種類でない」ということは成り立たない ; $proof$ = 
fact4 & fact3 -> int1: この女子高生は二世帯住宅である; int1 & fact1 -> int2: この開始位置は二世帯住宅だということはなくてかつ三種類でない; int2 -> hypothesis; __DISPROVED__
事実1: 仮にこの女子高生が二世帯住宅ならばこの開始位置は二世帯住宅でなくて三種類であるということはない
事実2: このアンチョビーは損壊する
事実3: この民間人は損壊する
事実4: もしこの民間人が損壊するとするとこの女子高生は二世帯住宅である
事実5: ある物は合図する一方でそれは入れ易いということはない

仮説: 「なにがしかのものは二世帯住宅でないし加えて三種類でない」ということは成り立たない
1. 事実4と事実3から、推論1: "この女子高生は二世帯住宅である"が導かれる
2. 推論1と事実1から、推論2: "この開始位置は二世帯住宅だということはなくてかつ三種類でない"が導かれる
3. 推論2から、仮説が否定される

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