帰結を==>で表すようにした。
帰結(==>)の右を削除した例を追加した。証明責務は簡単にならない。