一番気になるのは「各種ツール」ですね。今の感じだと途中で背理法ができるところが少なくなって行き詰まってしまうんですよね。具体例と言ってもこのサイト内から使ってしまったら、問題を解く直接的なヒントになってしまうので自力で解きたい人や問題作成者にとって迷惑と感じてしまうかもしれません。長々とした自説でも構いませんので答えて下さったら幸いです。(長々とした自説っていっても文章で説明するって難しいですよね。ちょっと日本語狂っていてもこちらで頑張って読み取るつもりですので安心して回答してください( ＾∀＾)