For IWB
1. First check (tick) "Hide DCA" and move point E to show adjacent angles on a line
2. Then check "Sum 2 Angles" to show the sum is 180
3. Then uncheck everything and move points D and E to show three angles on a line.
4. Then check "Sum 3 Angles"
5. Then check rule