admit(bm) :- admit(ad).
admit(cp) :- admit(ad).
admit(ad) :- admit(cp).
admit(dd) :- admit(cp). 
admit(ad) :- admit(ec).
admit(bm) :- admit(ec).
admit(cp) :- admit(ec). 
admit(cp) :- admit(fa).
admit(dd) :- admit(fa).
admit(bm) :- admit(cp),admit(dd).
admit(ec) :- admit(cp),admit(dd).
admit(fa) :- admit(cp),admit(dd).
admit(dd) :- admit(ad),admit(bm).

admit(fa).