「もし「「その売買取り引きは言い易くないかあるいはバックするかもしくは両方である」ということは成り立たない」ということは真実ならその売買取り引きは脱がす」ということは成り立つということはない
fact1: もしも「ある物は言い易くないかそれはバックするかあるいはどちらもだ」ということは成り立たないとするとそれは脱がす
$facts$ = fact1: もしも「ある物は言い易くないかそれはバックするかあるいはどちらもだ」ということは成り立たないとするとそれは脱がす ; $hypothesis$ = 「もし「「その売買取り引きは言い易くないかあるいはバックするかもしくは両方である」ということは成り立たない」ということは真実ならその売買取り引きは脱がす」ということは成り立つということはない ; $proof$ = 
事実1: もしも「ある物は言い易くないかそれはバックするかあるいはどちらもだ」ということは成り立たないとするとそれは脱がす

仮説: 「もし「「その売買取り引きは言い易くないかあるいはバックするかもしくは両方である」ということは成り立たない」ということは真実ならその売買取り引きは脱がす」ということは成り立つということはない