(1) gain CI that indicates why the

(1) gain CI that indicates why the statement is likely to be true, and
(2) find TH to convert CIs into acceptable proofs.

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

(1) CI กำไรว่าทำไมยอดจะเป็นจริง และ(2) ค้นหา TH แปลง CIs เป็นหลักฐานที่ยอมรับได้

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

(1) ได้รับ CI ที่บ่งชี้ว่าทำไมคำสั่งที่มีแนวโน้มที่จะเป็นจริงและ
(2) พบ TH การแปลง CIs เข้าไปพิสูจน์ได้รับการยอมรับ

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

( 1 ) รับของที่บ่งชี้ว่า ทำไมงบน่าจะจริงและ
( 2 ) หาที่แปลง CIS เป็นหลักฐานที่ยอมรับได้