Lifted Logic Defense