あの幼少時はカラメルソースだ
fact1: もしも「「鞍替えする」ということは正しい」物があるとすればあの幼少時はカラメルソースである fact2: 「鞍替えする」物はある
$facts$ = fact1: もしも「「鞍替えする」ということは正しい」物があるとすればあの幼少時はカラメルソースである fact2: 「鞍替えする」物はある ; $hypothesis$ = あの幼少時はカラメルソースだ ; $proof$ = 
事実1: もしも「「鞍替えする」ということは正しい」物があるとすればあの幼少時はカラメルソースである
事実2: 「鞍替えする」物はある

仮説: あの幼少時はカラメルソースだ