あのハイド城は来辛い
fact1: 「「「勝ち残れないがしかし踏み下ろす」ということは成り立つ」ということは嘘な」物はある fact2: もし仮に「「勝ち残れるということはなくて踏み下ろす」ということは嘘な」ものがあるとするとあのハイド城は来辛い
$facts$ = fact1: 「「「勝ち残れないがしかし踏み下ろす」ということは成り立つ」ということは嘘な」物はある fact2: もし仮に「「勝ち残れるということはなくて踏み下ろす」ということは嘘な」ものがあるとするとあのハイド城は来辛い ; $hypothesis$ = あのハイド城は来辛い ; $proof$ = 
事実1: 「「「勝ち残れないがしかし踏み下ろす」ということは成り立つ」ということは嘘な」物はある
事実2: もし仮に「「勝ち残れるということはなくて踏み下ろす」ということは嘘な」ものがあるとするとあのハイド城は来辛い

仮説: あのハイド城は来辛い