class Dry::Logic::Rule::Implication

def call(input)
  if left.(input).success?
    right.(input)
  else
    Logic.Result(true, left, input)
  end
end

def type
  :implication
end