A tet represents a person with friends in the class. A dodec represents a person without friends in the class. Students in the same row who are not seated right next to each other are enemies. No one sits in the same row as or in front of Prof. Bringsjord. If a student is friends with Selmer, then he is a good professor.
Goals Prove that there is a classroom situation where all of the given information is consistent.
Prove that Selmer is a good professor.