「そのＣＦは薄くないがしかし祓う」ということは成り立たない
fact1: もしも「沢沿いだということはない」ものはあるとしたら「「そのＣＦは薄くないがしかし祓う」ということは事実でない」ということは正しい fact2: 「沢沿いでない」物はある
$facts$ = fact1: もしも「沢沿いだということはない」ものはあるとしたら「「そのＣＦは薄くないがしかし祓う」ということは事実でない」ということは正しい fact2: 「沢沿いでない」物はある ; $hypothesis$ = 「そのＣＦは薄くないがしかし祓う」ということは成り立たない ; $proof$ = 
事実1: もしも「沢沿いだということはない」ものはあるとしたら「「そのＣＦは薄くないがしかし祓う」ということは事実でない」ということは正しい
事実2: 「沢沿いでない」物はある

仮説: 「そのＣＦは薄くないがしかし祓う」ということは成り立たない