「もし「この草書体は申し述べる」ということは成り立つとするとこの草書体はひょろ長い」ということは成り立たない
fact1: 仮に「なにかは申し述べる」ということは成り立つとすれば「ひょろ長い」ということは真実だ
$facts$ = fact1: 仮に「なにかは申し述べる」ということは成り立つとすれば「ひょろ長い」ということは真実だ ; $hypothesis$ = 「もし「この草書体は申し述べる」ということは成り立つとするとこの草書体はひょろ長い」ということは成り立たない ; $proof$ = 
事実1: 仮に「なにかは申し述べる」ということは成り立つとすれば「ひょろ長い」ということは真実だ

仮説: 「もし「この草書体は申し述べる」ということは成り立つとするとこの草書体はひょろ長い」ということは成り立たない