「この引き取り運賃は胸中でその上木曜だ」ということは誤りである
fact1: もし仮に「「僧帽弁逸脱症でない一方で馬形木製品である」ということは成り立たない」物があるならこの引き取り運賃は胸中である fact2: この引き取り運賃は木曜だ fact3: 「「僧帽弁逸脱症でない一方で馬形木製品である」ということは誤っている」ものはある
fact3 & fact1 -> int1: この引き取り運賃は胸中である; int1 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もし仮に「「僧帽弁逸脱症でない一方で馬形木製品である」ということは成り立たない」物があるならこの引き取り運賃は胸中である fact2: この引き取り運賃は木曜だ fact3: 「「僧帽弁逸脱症でない一方で馬形木製品である」ということは誤っている」ものはある ; $hypothesis$ = 「この引き取り運賃は胸中でその上木曜だ」ということは誤りである ; $proof$ = 
fact3 & fact1 -> int1: この引き取り運賃は胸中である; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: もし仮に「「僧帽弁逸脱症でない一方で馬形木製品である」ということは成り立たない」物があるならこの引き取り運賃は胸中である
事実2: この引き取り運賃は木曜だ
事実3: 「「僧帽弁逸脱症でない一方で馬形木製品である」ということは誤っている」ものはある

仮説: 「この引き取り運賃は胸中でその上木曜だ」ということは誤りである
1. 事実3と事実1から、推論1: "この引き取り運賃は胸中である"が導かれる
2. 推論1と事実2から、仮説が否定される

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