その健康者はすーごい
fact1: もし仮に「「雪城さんでないかまたは入り難くないかどちらもだ」ということは偽である」物があるとしたらその健康者はすーごい fact2: 「「雪城さんでないかあるいは入り難くない」ということは成り立たない」ものはある
$facts$ = fact1: もし仮に「「雪城さんでないかまたは入り難くないかどちらもだ」ということは偽である」物があるとしたらその健康者はすーごい fact2: 「「雪城さんでないかあるいは入り難くない」ということは成り立たない」ものはある ; $hypothesis$ = その健康者はすーごい ; $proof$ = 
事実1: もし仮に「「雪城さんでないかまたは入り難くないかどちらもだ」ということは偽である」物があるとしたらその健康者はすーごい
事実2: 「「雪城さんでないかあるいは入り難くない」ということは成り立たない」ものはある

仮説: その健康者はすーごい