”実質的内含のパラドックス”の一例：−

「日が西から登るならば、スペロヘータは梅毒の病原体である」は真であることになる。