「「済ま無いとすれば「式根さんだがしかし覚え難くない」ということは誤っている」ものはある」ということは事実と異なる
fact1: 「仮に「その北清事変は済ま無い」ということは事実だとすれば「その北清事変は式根さんであるが覚え難くない」ということは成り立つということはない」ということは成り立つ
$facts$ = fact1: 「仮に「その北清事変は済ま無い」ということは事実だとすれば「その北清事変は式根さんであるが覚え難くない」ということは成り立つということはない」ということは成り立つ ; $hypothesis$ = 「「済ま無いとすれば「式根さんだがしかし覚え難くない」ということは誤っている」ものはある」ということは事実と異なる ; $proof$ = 
事実1: 「仮に「その北清事変は済ま無い」ということは事実だとすれば「その北清事変は式根さんであるが覚え難くない」ということは成り立つということはない」ということは成り立つ

仮説: 「「済ま無いとすれば「式根さんだがしかし覚え難くない」ということは誤っている」ものはある」ということは事実と異なる