「あの海浜院が通念でないならばあの海浜院は流浪でないがしかしそれは関数式だ」ということは成り立つということはない
fact1: もしもなにがしかの物は通念でないならば流浪でないけど関数式だ
$facts$ = fact1: もしもなにがしかの物は通念でないならば流浪でないけど関数式だ ; $hypothesis$ = 「あの海浜院が通念でないならばあの海浜院は流浪でないがしかしそれは関数式だ」ということは成り立つということはない ; $proof$ = 
事実1: もしもなにがしかの物は通念でないならば流浪でないけど関数式だ

仮説: 「あの海浜院が通念でないならばあの海浜院は流浪でないがしかしそれは関数式だ」ということは成り立つということはない