「「もし仮にその知識人は刀鍛冶だとしたら「その知識人は声掛けだ」ということは間違っているということはない」ということは正しい」ということは成り立たない
fact1: 刀鍛冶は声掛けである
$facts$ = fact1: 刀鍛冶は声掛けである ; $hypothesis$ = 「「もし仮にその知識人は刀鍛冶だとしたら「その知識人は声掛けだ」ということは間違っているということはない」ということは正しい」ということは成り立たない ; $proof$ = 
事実1: 刀鍛冶は声掛けである

仮説: 「「もし仮にその知識人は刀鍛冶だとしたら「その知識人は声掛けだ」ということは間違っているということはない」ということは正しい」ということは成り立たない