「もしもそのロールオーバーが蒸留するけれど訂正審決でないならばそのロールオーバーは痛い」ということは誤りだ
fact1: あるものは蒸留するがしかし訂正審決であるということはないとするとそれは痛い
$facts$ = fact1: あるものは蒸留するがしかし訂正審決であるということはないとするとそれは痛い ; $hypothesis$ = 「もしもそのロールオーバーが蒸留するけれど訂正審決でないならばそのロールオーバーは痛い」ということは誤りだ ; $proof$ = 
事実1: あるものは蒸留するがしかし訂正審決であるということはないとするとそれは痛い

仮説: 「もしもそのロールオーバーが蒸留するけれど訂正審決でないならばそのロールオーバーは痛い」ということは誤りだ