「その予言はビットマップイメージであるが電子表札でない」ということは成り立たない
fact1: もしもその予言は心電図異常スコアでないならば「それはビットマップイメージであるけれど電子表札でない」ということは嘘である fact2: その予言は心電図異常スコアでない
$facts$ = fact1: もしもその予言は心電図異常スコアでないならば「それはビットマップイメージであるけれど電子表札でない」ということは嘘である fact2: その予言は心電図異常スコアでない ; $hypothesis$ = 「その予言はビットマップイメージであるが電子表札でない」ということは成り立たない ; $proof$ = 
事実1: もしもその予言は心電図異常スコアでないならば「それはビットマップイメージであるけれど電子表札でない」ということは嘘である
事実2: その予言は心電図異常スコアでない

仮説: 「その予言はビットマップイメージであるが電子表札でない」ということは成り立たない