「この御和歌は収縮しない一方でそれははんなりする」ということは成り立たない
fact1: それは収縮しないがはんなりするというものはない
$facts$ = fact1: それは収縮しないがはんなりするというものはない ; $hypothesis$ = 「この御和歌は収縮しない一方でそれははんなりする」ということは成り立たない ; $proof$ = 
事実1: それは収縮しないがはんなりするというものはない

仮説: 「この御和歌は収縮しない一方でそれははんなりする」ということは成り立たない