「そのＰＭ型が生まれ難くないとすればそのＰＭ型は焚かないがしかし格式である」ということは偽だ
fact1: 生まれ難くないものは焚くということはない一方で格式である
$facts$ = fact1: 生まれ難くないものは焚くということはない一方で格式である ; $hypothesis$ = 「そのＰＭ型が生まれ難くないとすればそのＰＭ型は焚かないがしかし格式である」ということは偽だ ; $proof$ = 
事実1: 生まれ難くないものは焚くということはない一方で格式である

仮説: 「そのＰＭ型が生まれ難くないとすればそのＰＭ型は焚かないがしかし格式である」ということは偽だ