このピーククリッパは映ゆない
fact1: 仮になにがしかの物がヘイル・ハウスでないがしかしそれが中山間地域だとすればあのボストン・シンフォニーは奏上する fact2: あるものは手広くない fact3: 「奏上する」物はある fact4: 何らかの物は手広くないけれど奏上する fact5: ある物が手広くないがしかしそれが奏上するとするとこのピーククリッパは映ゆ fact6: なにがしかのものは手広くてさらに奏上する
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物がヘイル・ハウスでないがしかしそれが中山間地域だとすればあのボストン・シンフォニーは奏上する fact2: あるものは手広くない fact3: 「奏上する」物はある fact4: 何らかの物は手広くないけれど奏上する fact5: ある物が手広くないがしかしそれが奏上するとするとこのピーククリッパは映ゆ fact6: なにがしかのものは手広くてさらに奏上する ; $hypothesis$ = このピーククリッパは映ゆない ; $proof$ = 
fact4 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物がヘイル・ハウスでないがしかしそれが中山間地域だとすればあのボストン・シンフォニーは奏上する
事実2: あるものは手広くない
事実3: 「奏上する」物はある
事実4: 何らかの物は手広くないけれど奏上する
事実5: ある物が手広くないがしかしそれが奏上するとするとこのピーククリッパは映ゆ
事実6: なにがしかのものは手広くてさらに奏上する

仮説: このピーククリッパは映ゆない
1. 事実4と事実5から、仮説が否定される

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