ellauri096.html on line 80: 1 K(Td1 & ~K_d0Td1) v (Td2 & ~K_d1Td2)) (teacher info)
ellauri096.html on line 83: 4 d2: Td1 & ~KTd1) v (Td2 & ~K_d1Td2) (any alt on day 2)
ellauri096.html on line 85: 6 d2: Td2 & ~K_d1Td2) (modus tollens to 4,5)
ellauri096.html on line 86: 7 d1': ~Td2 (some alt from from 6)
ellauri096.html on line 87: 8 d1': Td2 (reflexivity from 6)
5