この洒落者は留めない
fact1: この洒落者は打法である一方で欠け落ちない fact2: この洒落者が打法だけどそれが欠け落ちるということはないとすれば留めない
$facts$ = fact1: この洒落者は打法である一方で欠け落ちない fact2: この洒落者が打法だけどそれが欠け落ちるということはないとすれば留めない ; $hypothesis$ = この洒落者は留めない ; $proof$ = 
事実1: この洒落者は打法である一方で欠け落ちない
事実2: この洒落者が打法だけどそれが欠け落ちるということはないとすれば留めない

仮説: この洒落者は留めない