「「「密封出来るかあるいは罷り出るかもしくはどちらもだ」ということは誤りである」物はある」ということは事実と異なる
fact1: 「この宋船は密封出来るか罷り出るかもしくはどちらもである」ということは誤っている
$facts$ = fact1: 「この宋船は密封出来るか罷り出るかもしくはどちらもである」ということは誤っている ; $hypothesis$ = 「「「密封出来るかあるいは罷り出るかもしくはどちらもだ」ということは誤りである」物はある」ということは事実と異なる ; $proof$ = 
事実1: 「この宋船は密封出来るか罷り出るかもしくはどちらもである」ということは誤っている

仮説: 「「「密封出来るかあるいは罷り出るかもしくはどちらもだ」ということは誤りである」物はある」ということは事実と異なる