Fair=3/4; Rigged=1/4; FivesIfFair=(1/6)^3; FivesIfRigged=1;
RiggedIfFives=Rigged*FivesIfRigged/(Rigged*FivesIfRigged+Fair*FivesIfFair)