その一学期は一文字湯口でない
fact1: 「「その一学期は底地であるかそれは榜示杭でない」ということは真実だ」ということは成り立たない fact2: 仮に「その一学期は底地であるかまたは榜示杭でない」ということは成り立たないとすれば「一文字湯口でない」ということは誤りでない
$facts$ = fact1: 「「その一学期は底地であるかそれは榜示杭でない」ということは真実だ」ということは成り立たない fact2: 仮に「その一学期は底地であるかまたは榜示杭でない」ということは成り立たないとすれば「一文字湯口でない」ということは誤りでない ; $hypothesis$ = その一学期は一文字湯口でない ; $proof$ = 
事実1: 「「その一学期は底地であるかそれは榜示杭でない」ということは真実だ」ということは成り立たない
事実2: 仮に「その一学期は底地であるかまたは榜示杭でない」ということは成り立たないとすれば「一文字湯口でない」ということは誤りでない

仮説: その一学期は一文字湯口でない