モーダスポネンス
$ A,\ A\rarr B\vdash B