「「もし「あのサンドバッグは移植前であるし評価する」ということは嘘ならばあのサンドバッグは最終決定するということはない」ということは誤りでない」ということは成り立つということはない
fact1: 仮に「とあるものは移植前であるしさらにそれは評価する」ということは嘘だとすれば「それは最終決定しない」ということは成り立つ
$facts$ = fact1: 仮に「とあるものは移植前であるしさらにそれは評価する」ということは嘘だとすれば「それは最終決定しない」ということは成り立つ ; $hypothesis$ = 「「もし「あのサンドバッグは移植前であるし評価する」ということは嘘ならばあのサンドバッグは最終決定するということはない」ということは誤りでない」ということは成り立つということはない ; $proof$ = 
事実1: 仮に「とあるものは移植前であるしさらにそれは評価する」ということは嘘だとすれば「それは最終決定しない」ということは成り立つ

仮説: 「「もし「あのサンドバッグは移植前であるし評価する」ということは嘘ならばあのサンドバッグは最終決定するということはない」ということは誤りでない」ということは成り立つということはない