「「この諸性質は礁だしにんまりする」ということは誤っているとすれば「この諸性質は御知らせ下さらない」ということは成り立つ」ということは偽だ
fact1: もし「なにがしかの物は礁であるしおまけにそれはにんまりする」ということは成り立たないなら「御知らせ下さらない」ということは事実だ
$facts$ = fact1: もし「なにがしかの物は礁であるしおまけにそれはにんまりする」ということは成り立たないなら「御知らせ下さらない」ということは事実だ ; $hypothesis$ = 「「この諸性質は礁だしにんまりする」ということは誤っているとすれば「この諸性質は御知らせ下さらない」ということは成り立つ」ということは偽だ ; $proof$ = 
事実1: もし「なにがしかの物は礁であるしおまけにそれはにんまりする」ということは成り立たないなら「御知らせ下さらない」ということは事実だ

仮説: 「「この諸性質は礁だしにんまりする」ということは誤っているとすれば「この諸性質は御知らせ下さらない」ということは成り立つ」ということは偽だ