1. Whenever Aldo takes the yellow bus, Brenda and Cory take the same bus as each other.
2. If Brenda takes the yellow bus, Aldo and Cory take different busses from each other.
3. If Cory takes the blue bus, Aldo takes the same bus as Brenda.
What do you think?