Housing lotteries are often used by universityhousing admistrators to determine which students get first choice of dormitory rooms. Use propositional logic and rules of inference to figure out how four tudents, Bob, Lisa, Jim, and Mary are ranked with respect to one another in the housing lottery. Al that we know about the four students is summarized in the following constraints:
1. Lisa is not next to Bob in the ranking.
2. Jim is ranked immediately ahead of a biology major.
3. Bob is ranked immediately ahead of Jim.
4. One of the women is a biology major.
5. Mary or Lisa is ranked first.