Add proof format without chains but with conclusions