∀x (SelectedForInCourse(x, hallOfFame) → ¬(∃y ∃z (y!=z ∧ Member(y) ∧ TeamMember(z) ∧ LedBy(x, y) ∧ LedBy(x, z))))
∀x (UnfinishedInCourse(x) → ∃y ∃z (y!=z ∧ TeamMember(y) ∧ TeamMember(z) ∧ LedBy(x, y) ∧ LedBy(x, z)))
∀x (NotPresentedIn(x, finalPresentation) → UnfinishedInCourse(x))
∀x (NoFinalGradeInCourse(x) → NotPresentedIn(x, finalPresentation))
HaveInCourse(sustainibleEnergySources, finalGrade) ∨ ¬SelectedForInCourse(sustainibleEnergySources, hallOfFame)
SelectedForInCourse(sustainibleEnergySources, hallOfFame)