あの合掌作りは潜航しないしおまけにそれは麗々しくない
fact1: あの合掌作りは長期経過でない fact2: もし「あの合掌作りは長期経過でない」ということは成り立つとすれば「潜航しないしさらに麗々しくない」ということは誤っている
$facts$ = fact1: あの合掌作りは長期経過でない fact2: もし「あの合掌作りは長期経過でない」ということは成り立つとすれば「潜航しないしさらに麗々しくない」ということは誤っている ; $hypothesis$ = あの合掌作りは潜航しないしおまけにそれは麗々しくない ; $proof$ = 
事実1: あの合掌作りは長期経過でない
事実2: もし「あの合掌作りは長期経過でない」ということは成り立つとすれば「潜航しないしさらに麗々しくない」ということは誤っている

仮説: あの合掌作りは潜航しないしおまけにそれは麗々しくない