この情報性は指名ホステスだ
fact1: 喜ばしかなくてしかも晴々しいものはある fact2: もし「なにがしかの物は喜ばしいということはないけれど晴々しい」ということは成り立つならこの情報性は指名ホステスだ
$facts$ = fact1: 喜ばしかなくてしかも晴々しいものはある fact2: もし「なにがしかの物は喜ばしいということはないけれど晴々しい」ということは成り立つならこの情報性は指名ホステスだ ; $hypothesis$ = この情報性は指名ホステスだ ; $proof$ = 
事実1: 喜ばしかなくてしかも晴々しいものはある
事実2: もし「なにがしかの物は喜ばしいということはないけれど晴々しい」ということは成り立つならこの情報性は指名ホステスだ

仮説: この情報性は指名ホステスだ