「あの字型は書き送る」ということは正しい
fact1: もしも「あの字型は隠らないけれどそれは押し付けがましい」ということは成り立たないとしたらそれは書き送る fact2: 「あの字型は隠らないが押し付けがましい」ということは事実と異なる
$facts$ = fact1: もしも「あの字型は隠らないけれどそれは押し付けがましい」ということは成り立たないとしたらそれは書き送る fact2: 「あの字型は隠らないが押し付けがましい」ということは事実と異なる ; $hypothesis$ = 「あの字型は書き送る」ということは正しい ; $proof$ = 
事実1: もしも「あの字型は隠らないけれどそれは押し付けがましい」ということは成り立たないとしたらそれは書き送る
事実2: 「あの字型は隠らないが押し付けがましい」ということは事実と異なる

仮説: 「あの字型は書き送る」ということは正しい