「「珍しかなくて貫き通さない」ということは嘘な」物はある
fact1: 「あのシップは珍しいということはなくて加えて貫き通さない」ということは嘘である
$facts$ = fact1: 「あのシップは珍しいということはなくて加えて貫き通さない」ということは嘘である ; $hypothesis$ = 「「珍しかなくて貫き通さない」ということは嘘な」物はある ; $proof$ = 
事実1: 「あのシップは珍しいということはなくて加えて貫き通さない」ということは嘘である

仮説: 「「珍しかなくて貫き通さない」ということは嘘な」物はある