Consider the following premises. If Thomas were a poet, then Richard is driving a car. William is playing tennis or Thomas is a janitor. If William plays tennis, then Thomas is a poet. For all x_16, x_16 is a janitor if and only if x_16 is a poet. Can we infer the following from them? Richard is not driving a car.
 From the fact that for all x_16, x_16 is a janitor if and only if x_16 is a poet we can infer that Thomas is a janitor if and only if Thomas is a poet. From the fact that Thomas is a janitor if and only if Thomas is a poet we can infer that if Thomas were a janitor, then Thomas is a poet. From the fact that if William plays tennis, then Thomas is a poet, that if Thomas were a janitor, then Thomas is a poet, and that William is playing tennis or Thomas is a janitor we can infer that Thomas is a poet. Finally, from the fact that if Thomas were a poet, then Richard is driving a car, and that Thomas is a poet we can infer that Richard is driving a car, which contradicts that Richard is not driving a car. Therefore, the answer is no.