「もしもこの五千年前が自由国家だということはなくて奥床しくないとしたらこの五千年前はＴＭＭＫであるということはない」ということは間違っている
fact1: 何かは自由国家でなくてその上奥床しかないならばＴＭＭＫでない
$facts$ = fact1: 何かは自由国家でなくてその上奥床しかないならばＴＭＭＫでない ; $hypothesis$ = 「もしもこの五千年前が自由国家だということはなくて奥床しくないとしたらこの五千年前はＴＭＭＫであるということはない」ということは間違っている ; $proof$ = 
事実1: 何かは自由国家でなくてその上奥床しかないならばＴＭＭＫでない

仮説: 「もしもこの五千年前が自由国家だということはなくて奥床しくないとしたらこの五千年前はＴＭＭＫであるということはない」ということは間違っている