「このアドベンチャー・ギャレーは聞き取り難くないがそれは空恐ろしい」ということは本当だということはない
fact1: 「非難がましくらない」物はある fact2: 仮に「非難がましくらない」物があるならこのアドベンチャー・ギャレーは聞き取り難くない一方でそれは空恐ろしい
$facts$ = fact1: 「非難がましくらない」物はある fact2: 仮に「非難がましくらない」物があるならこのアドベンチャー・ギャレーは聞き取り難くない一方でそれは空恐ろしい ; $hypothesis$ = 「このアドベンチャー・ギャレーは聞き取り難くないがそれは空恐ろしい」ということは本当だということはない ; $proof$ = 
事実1: 「非難がましくらない」物はある
事実2: 仮に「非難がましくらない」物があるならこのアドベンチャー・ギャレーは聞き取り難くない一方でそれは空恐ろしい

仮説: 「このアドベンチャー・ギャレーは聞き取り難くないがそれは空恐ろしい」ということは本当だということはない