「このフランスチャンピオンは区別す一方で汚らしくない」ということは成り立たない
fact1: 「凍らない」物はある fact2: 仮に「「凍らない」ということは真実である」ものはあるとしたら「このフランスチャンピオンは区別すがしかしそれは汚らしくない」ということは真実だ
$facts$ = fact1: 「凍らない」物はある fact2: 仮に「「凍らない」ということは真実である」ものはあるとしたら「このフランスチャンピオンは区別すがしかしそれは汚らしくない」ということは真実だ ; $hypothesis$ = 「このフランスチャンピオンは区別す一方で汚らしくない」ということは成り立たない ; $proof$ = 
事実1: 「凍らない」物はある
事実2: 仮に「「凍らない」ということは真実である」ものはあるとしたら「このフランスチャンピオンは区別すがしかしそれは汚らしくない」ということは真実だ

仮説: 「このフランスチャンピオンは区別す一方で汚らしくない」ということは成り立たない