そのリードボーは御濃い
fact1: 「そのリードボーは起こし難いが徒らっぽくない」ということは誤りだ fact2: もしも「そのリードボーは起こし難いがしかしそれは徒らっぽくない」ということは成り立つということはないとしたらそれは御濃くない
$facts$ = fact1: 「そのリードボーは起こし難いが徒らっぽくない」ということは誤りだ fact2: もしも「そのリードボーは起こし難いがしかしそれは徒らっぽくない」ということは成り立つということはないとしたらそれは御濃くない ; $hypothesis$ = そのリードボーは御濃い ; $proof$ = 
事実1: 「そのリードボーは起こし難いが徒らっぽくない」ということは誤りだ
事実2: もしも「そのリードボーは起こし難いがしかしそれは徒らっぽくない」ということは成り立つということはないとしたらそれは御濃くない

仮説: そのリードボーは御濃い