「そのアルテミス号は費用配分しなくてかつそれは驚き呆れるということはない」ということは成り立つということはない
fact1: そのアルテミス号は驚き呆れない fact2: そのアルテミス号は費用配分しない fact3: その十四種類は費用配分しない
$facts$ = fact1: そのアルテミス号は驚き呆れない fact2: そのアルテミス号は費用配分しない fact3: その十四種類は費用配分しない ; $hypothesis$ = 「そのアルテミス号は費用配分しなくてかつそれは驚き呆れるということはない」ということは成り立つということはない ; $proof$ = 
事実1: そのアルテミス号は驚き呆れない
事実2: そのアルテミス号は費用配分しない
事実3: その十四種類は費用配分しない

仮説: 「そのアルテミス号は費用配分しなくてかつそれは驚き呆れるということはない」ということは成り立つということはない