「もし仮に「「このフリーライドは伏せ止めるということはないけれどそれは迷い易い」ということは真実だ」ということは偽ならばこのフリーライドは済む」ということは偽である
fact1: 「何らかのものは伏せ止めないが迷い易い」ということは成り立たないとしたら済む
$facts$ = fact1: 「何らかのものは伏せ止めないが迷い易い」ということは成り立たないとしたら済む ; $hypothesis$ = 「もし仮に「「このフリーライドは伏せ止めるということはないけれどそれは迷い易い」ということは真実だ」ということは偽ならばこのフリーライドは済む」ということは偽である ; $proof$ = 
事実1: 「何らかのものは伏せ止めないが迷い易い」ということは成り立たないとしたら済む

仮説: 「もし仮に「「このフリーライドは伏せ止めるということはないけれどそれは迷い易い」ということは真実だ」ということは偽ならばこのフリーライドは済む」ということは偽である