「このバズーカ砲はダビングするしまた潜行する」ということは事実と異なる
fact1: この一市民は潜行する fact2: 「この感覚受容器はダビングする」ということは確かだ fact3: このバズーカ砲は潜行する fact4: そのパンワールドファイナンスが無言館だしダビングする fact5: このバズーカ砲は従い為さる fact6: 「このバズーカ砲はダビングする」ということは確かだ
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
$facts$ = fact1: この一市民は潜行する fact2: 「この感覚受容器はダビングする」ということは確かだ fact3: このバズーカ砲は潜行する fact4: そのパンワールドファイナンスが無言館だしダビングする fact5: このバズーカ砲は従い為さる fact6: 「このバズーカ砲はダビングする」ということは確かだ ; $hypothesis$ = 「このバズーカ砲はダビングするしまた潜行する」ということは事実と異なる ; $proof$ = 
fact6 & fact3 -> hypothesis; __DISPROVED__
事実1: この一市民は潜行する
事実2: 「この感覚受容器はダビングする」ということは確かだ
事実3: このバズーカ砲は潜行する
事実4: そのパンワールドファイナンスが無言館だしダビングする
事実5: このバズーカ砲は従い為さる
事実6: 「このバズーカ砲はダビングする」ということは確かだ

仮説: 「このバズーカ砲はダビングするしまた潜行する」ということは事実と異なる
1. 事実6と事実3から、仮説が否定される

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