この皇女は喜ばしいけど敬しない
fact1: あの水虫は早世するとしたら「この皇女は喜ばしいけど敬しない」ということは成り立たない fact2: その鉧は早世する fact3: あの水虫は早世する
$facts$ = fact1: あの水虫は早世するとしたら「この皇女は喜ばしいけど敬しない」ということは成り立たない fact2: その鉧は早世する fact3: あの水虫は早世する ; $hypothesis$ = この皇女は喜ばしいけど敬しない ; $proof$ = 
事実1: あの水虫は早世するとしたら「この皇女は喜ばしいけど敬しない」ということは成り立たない
事実2: その鉧は早世する
事実3: あの水虫は早世する

仮説: この皇女は喜ばしいけど敬しない