class Dry::Logic::Operations::Implication

def [](input)

def [](input)
  if left[input]
    right[input]
  else
    true
  end
end