「「連絡し合わないし測り難くない」ということは成り立つということはないなら「海賊橋でない」ということは本当である」ものはある
fact1: 「この費用項目は連絡し合うけれどそれは測り難くない」ということは間違いであるとすれば海賊橋でない fact2: もし仮に「この費用項目は連絡し合わなくてそれは測り難くない」ということは成り立たないとしたらそれは海賊橋でない fact3: 「もし「連絡し合わなくてその上測り難い」ということは事実でないなら海賊橋でない」物はある
fact2 -> hypothesis;
$facts$ = fact1: 「この費用項目は連絡し合うけれどそれは測り難くない」ということは間違いであるとすれば海賊橋でない fact2: もし仮に「この費用項目は連絡し合わなくてそれは測り難くない」ということは成り立たないとしたらそれは海賊橋でない fact3: 「もし「連絡し合わなくてその上測り難い」ということは事実でないなら海賊橋でない」物はある ; $hypothesis$ = 「「連絡し合わないし測り難くない」ということは成り立つということはないなら「海賊橋でない」ということは本当である」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「この費用項目は連絡し合うけれどそれは測り難くない」ということは間違いであるとすれば海賊橋でない
事実2: もし仮に「この費用項目は連絡し合わなくてそれは測り難くない」ということは成り立たないとしたらそれは海賊橋でない
事実3: 「もし「連絡し合わなくてその上測り難い」ということは事実でないなら海賊橋でない」物はある

仮説: 「「連絡し合わないし測り難くない」ということは成り立つということはないなら「海賊橋でない」ということは本当である」ものはある
1. 事実2から、仮説が導かれる

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