Your first step should probably be with the Scanner example. In Arduino, with Teensy selected from Tools > Boards (so the software updates its menus for Teensy) click File > Examples > Wire > Scanner.
Connect 2 sensors to the normal SDA & SCL (pins 18 & 19) and connect the A0 & A1 pins on each sensor to GND or 3.3V. The Scanner example will show you in the Arduino Serial Monitor which addresses are actually found. This is how you know you've correctly connected the A0 & A1 pins for each sensor to have a unique address. Looks like Adafruit's circuit board has little pads you just solder together.
Then to actually use them, follow the Adafruit examples which demonstrate use of 1 sensor. To expand, you create an instance for each, like this:
Code:
Adafruit_MLX90393 sensor1 = Adafruit_MLX90393();
Adafruit_MLX90393 sensor2 = Adafruit_MLX90393();
Adafruit_MLX90393 sensor3 = Adafruit_MLX90393();
Adafruit_MLX90393 sensor4 = Adafruit_MLX90393();
Adafruit_MLX90393 sensor5 = Adafruit_MLX90393();
This creates the ability to talk with 5 separate sensors. Maybe give them more interesting or distinctive names than just sensor1, sensor2, etc. If each one as a particular purpose, distinctive names can make your code much easier to read and troubleshoot later.
Then inside setup(), you will use the begin_I2C() function for each sensor. This is where you tell each Adafruit_MLX90393 library instance which address and which physical I2C port on Teensy to use for communication.
Code:
sensor1.begin(0x0C, &Wire);
sensor2.begin(0x0C, &Wire1);
sensor3.begin(0x0E, &Wire1);
sensor4.begin(0x0C, &Wire2);
sensor5.begin(0x0F, &Wire2);
To use each sensor, just copy the example code for each instance you created. Because each had different begin_I2C() parameters, as you use each instance it will communicate with each specific sensor.
If you get stuck or the hardware seems to be not connected, remember to use the Wire library Scanner example for troubleshooting.