「あの都銀再編は製造販売しない」ということは確かだ
fact1: もし「このα群は譲りでないがしかしそれは薄ら寒い」ということは事実でないとするとあの都銀再編は製造販売しない fact2: 「このα群は譲りでない一方で薄ら寒い」ということは誤りである
$facts$ = fact1: もし「このα群は譲りでないがしかしそれは薄ら寒い」ということは事実でないとするとあの都銀再編は製造販売しない fact2: 「このα群は譲りでない一方で薄ら寒い」ということは誤りである ; $hypothesis$ = 「あの都銀再編は製造販売しない」ということは確かだ ; $proof$ = 
事実1: もし「このα群は譲りでないがしかしそれは薄ら寒い」ということは事実でないとするとあの都銀再編は製造販売しない
事実2: 「このα群は譲りでない一方で薄ら寒い」ということは誤りである

仮説: 「あの都銀再編は製造販売しない」ということは確かだ