「この研究論文は疲れないけれど騎乗する」ということは成り立たないならばそれは温かい
fact1: もしも「なにかは疲れないけど騎乗する」ということは間違っているとしたらそれは温かい
$facts$ = fact1: もしも「なにかは疲れないけど騎乗する」ということは間違っているとしたらそれは温かい ; $hypothesis$ = 「この研究論文は疲れないけれど騎乗する」ということは成り立たないならばそれは温かい ; $proof$ = 
事実1: もしも「なにかは疲れないけど騎乗する」ということは間違っているとしたらそれは温かい

仮説: 「この研究論文は疲れないけれど騎乗する」ということは成り立たないならばそれは温かい