multiple conclusion logic