そのペットフード会社は懐こい
fact1: 「仮にあのマッドバスが赤元結いでなくて第四百十六夜間戦闘飛行隊でないならばそのペットフード会社は懐こい」ということは成り立つ fact2: 「あのマッドバスは赤元結いでなくて第四百十六夜間戦闘飛行隊でない」ということは成り立つ
$facts$ = fact1: 「仮にあのマッドバスが赤元結いでなくて第四百十六夜間戦闘飛行隊でないならばそのペットフード会社は懐こい」ということは成り立つ fact2: 「あのマッドバスは赤元結いでなくて第四百十六夜間戦闘飛行隊でない」ということは成り立つ ; $hypothesis$ = そのペットフード会社は懐こい ; $proof$ = 
事実1: 「仮にあのマッドバスが赤元結いでなくて第四百十六夜間戦闘飛行隊でないならばそのペットフード会社は懐こい」ということは成り立つ
事実2: 「あのマッドバスは赤元結いでなくて第四百十六夜間戦闘飛行隊でない」ということは成り立つ

仮説: そのペットフード会社は懐こい