((B implies R) and (L implies Y) and (L implies not R)) implies (B implies Y)

• Natural Language
• Math Input