The Set of PossFaults
PossFaults[{t*2,t*3}] = {}
PossFaults[{t*2,t07,t*7,t*9,t08,t*8}] = {}
PossFaults[{t*2,t07,t*7,t04,t08,t*8}] = {}
PossFaults[{t*2,t07,t*9,t08,t*8}] = {}
PossFaults[{t*2,t07,t04,t08,t*8}] = {}
PossFaults[{t*3,t*5}] = {{t3 -> S0,t5 -> S0}
PossFaults[{t*5,t07,t*7,t*9,t08,t*8}}] = {
{t5 -> S0,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S0}
{t5 -> S0,t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S2}
{t5 -> S0,t7 - e ->, t7 -> S1, t8 - f ->, t8 -> S1, t9 -> S0}
{t5 -> S0,t7 - e ->, t7 -> S1, t8 - f ->, t8 -> S1, t9 -> S2}}