If none of the tests results in dom

If none of the tests results in domination,
we have a no-instance, otherwise we have a
yes-instance and a certificate of the domination.

ผลลัพธ์ (ไทย) 1:

ถ้าไม่มีการทดสอบผลการปกครองเรามีอินสแตนซ์ที่ไม่มี ไม่ มีการอินสแตนซ์ที่ใช่และใบรับรองของการปกครอง

ผลลัพธ์ (ไทย) 2:

หากไม่มีการทดสอบจะส่งผลในการปกครอง
เรามีไม่มีอินสแตนซ์มิฉะนั้นเรามี
ใช่อินสแตนซ์และหนังสือรับรองของการปกครองที่

ผลลัพธ์ (ไทย) 3:

ถ้าไม่มีผลพิสูจน์ในการครอบงำเรามี ไม่มีอินสแตนซ์ มิฉะนั้น เรา มีใช่ตัวอย่างและใบรับรองของการปกครอง