Symbolic Logic - Lewis Carroll

11. 1bc₀ † 2d₁a′₀ † 3c′₁a₀; 1bc † 3c′a † 2da′ ¶ bd₀ † d₁ i.e. ¶ d₁b₀

12. 1cb′₀ † 2c′₁d₀ † 3b₁a′₀; 1cb′ † 2c′d † 3ba′ ¶ da′₀

13. 1d₁e′₀ † 2c₁a′₀ † 3bd′₀ † 4e₁a₀; 1de′ † 3bd′ † 4ea † 2ca′ ¶ bc₀ † c₁
i.e. ¶ c₁b₀

14. 1c₁b′₀ † 2a₁e′₀ † 3d₁b₀ † 4a′₁c′₀; 1cb′ † 3db † 4a′c′ † 2ae′ ¶ de′₀ † d₁
i.e. ¶ d₁e′₀

15. 1b′d₀ † 2e₁c′₀ † 3b₁a′₀ † 4d′₁c₀; 1b′d † 3ba′ † 4d′c † 2ec′ ¶ a′e₀ † e₁
i.e. ¶ e₁a′₀

16. 1a′e₀ † 2d₁c₀ † 3a₁b′₀ † 4e′₁d′₀; 1a′e † 3ab′ † 4e′d′ † 2dc ¶ b′c₀

17. 1d₁c′₀ † 2a₁e′₀ † 3bd′₀ † 4c₁e₀; 1dc′ † 3bd′ † 4ce † 2ae′ ¶ ba₀ † a₁
i.e. ¶ a₁b₀

18. 1a₁b′₀ † 2d₁e′₀ † 3a′₁c₀ † 4be₀; 1ab′ † 3a′c † 4be † 2de′ ¶ cd₀ † d₁
i.e. ¶ d₁c₀

19. 1bc₀ † 2e₁h′₀ † 3a₁b′₀ † 4dh₀ † 5e′₁c′₀; 1bc † 3ab′ † 5e′c′ † 2eh′ † 4dh
¶ ad₀ † a₁ i.e. ¶ a₁d₀

20. 1dh′₀ † 2ce₀ † 3h₁b′₀ † 4ad′₀ † 5be′₀;
1dh′ † 3hb′ † 4ad′ † 5be′ † 2ce ¶ ac₀