「このＶＡＮは入選するけれど予言しない」ということは成り立たない
fact1: もしもこのＶＡＮは考え深いなら「それは入選するしおまけにそれは予言しない」ということは偽だ fact2: このＶＡＮは考え深い
$facts$ = fact1: もしもこのＶＡＮは考え深いなら「それは入選するしおまけにそれは予言しない」ということは偽だ fact2: このＶＡＮは考え深い ; $hypothesis$ = 「このＶＡＮは入選するけれど予言しない」ということは成り立たない ; $proof$ = 
事実1: もしもこのＶＡＮは考え深いなら「それは入選するしおまけにそれは予言しない」ということは偽だ
事実2: このＶＡＮは考え深い

仮説: 「このＶＡＮは入選するけれど予言しない」ということは成り立たない