「あのちげえは涼しかない」ということは本当である
fact1: 「そのイベントは出し易いがしかしそれは埋め込まない」ということは間違いであるとすると「あのちげえは涼しい」ということは成り立つ fact2: 「そのイベントは出し易い一方で埋め込まない」ということは真実でない
$facts$ = fact1: 「そのイベントは出し易いがしかしそれは埋め込まない」ということは間違いであるとすると「あのちげえは涼しい」ということは成り立つ fact2: 「そのイベントは出し易い一方で埋め込まない」ということは真実でない ; $hypothesis$ = 「あのちげえは涼しかない」ということは本当である ; $proof$ = 
事実1: 「そのイベントは出し易いがしかしそれは埋め込まない」ということは間違いであるとすると「あのちげえは涼しい」ということは成り立つ
事実2: 「そのイベントは出し易い一方で埋め込まない」ということは真実でない

仮説: 「あのちげえは涼しかない」ということは本当である