「仮に「その中山橋はＡ〜Ｃでない一方でルビーレーザーである」ということは偽ならその中山橋は悔い改めるということはない」ということは成り立たない
fact1: 仮に「とある物はＡ〜Ｃでないけどルビーレーザーだ」ということは偽だとしたらそれは悔い改めない
$facts$ = fact1: 仮に「とある物はＡ〜Ｃでないけどルビーレーザーだ」ということは偽だとしたらそれは悔い改めない ; $hypothesis$ = 「仮に「その中山橋はＡ〜Ｃでない一方でルビーレーザーである」ということは偽ならその中山橋は悔い改めるということはない」ということは成り立たない ; $proof$ = 
事実1: 仮に「とある物はＡ〜Ｃでないけどルビーレーザーだ」ということは偽だとしたらそれは悔い改めない

仮説: 「仮に「その中山橋はＡ〜Ｃでない一方でルビーレーザーである」ということは偽ならその中山橋は悔い改めるということはない」ということは成り立たない