irnbru:
Two issues: (1) After A15 A16 B16 the wrong refutation is given - B15 doesn't refute because B17 kills. Instead the refutation should be A15 A16 B16 B17. (2) A12 A13 A15 A16 B16 B15 B17 is flagged as incorrect but it works.