Function: Implication detected

SELECT
  semantic_implies ('John is a bachelor', 'John is unmarried')

Function: Causal implication

SELECT
  semantic_implies ('It is raining', 'The ground is wet')

Function: No logical implication

SELECT
  semantic_implies ('The sky is blue', 'Today is Monday')

Infix IMPLIES: logical deduction

WITH
  t AS (
    SELECT
      'All birds can fly' AS premise
  )
SELECT
  premise
FROM
  t
WHERE
  premise IMPLIES 'Eagles can fly'

Infix IMPLIES: invalid overgeneralization

WITH
  t AS (
    SELECT
      'Some dogs are friendly' AS premise
  )
SELECT
  CASE
    WHEN premise IMPLIES 'All dogs are friendly' THEN 'yes'
    ELSE 'no'
  END
FROM
  t