軽ミニバンは存在しない
論理的に証明することは不可能