「仮に「出港するが来校しない」ということは成り立つということはないなら心置き無くない」物はある
fact1: 「この縞鯵は出港するけれど来校するということはない」ということは誤っているなら心置き無くない
$facts$ = fact1: 「この縞鯵は出港するけれど来校するということはない」ということは誤っているなら心置き無くない ; $hypothesis$ = 「仮に「出港するが来校しない」ということは成り立つということはないなら心置き無くない」物はある ; $proof$ = 
事実1: 「この縞鯵は出港するけれど来校するということはない」ということは誤っているなら心置き無くない

仮説: 「仮に「出港するが来校しない」ということは成り立つということはないなら心置き無くない」物はある