「仮に「その優勝劣敗は悪賢いけれど仕置きでない」ということは間違いだとすればあの優勝劣敗は動けるということはない」ということは真実である
fact1: もしも「なんらかの物は悪賢いけれど仕置きでない」ということは誤りならば動けない
$facts$ = fact1: もしも「なんらかの物は悪賢いけれど仕置きでない」ということは誤りならば動けない ; $hypothesis$ = 「仮に「その優勝劣敗は悪賢いけれど仕置きでない」ということは間違いだとすればあの優勝劣敗は動けるということはない」ということは真実である ; $proof$ = 
事実1: もしも「なんらかの物は悪賢いけれど仕置きでない」ということは誤りならば動けない

仮説: 「仮に「その優勝劣敗は悪賢いけれど仕置きでない」ということは間違いだとすればあの優勝劣敗は動けるということはない」ということは真実である