Табиғи тіл дәлелі

task ID: naturallanguageproof

Шығыс байланыстар

Байланыс	Мақсатты нысан	Түрі	Әрекеттер
uses	Дедуктивті Қорытынды	method	Көру
uses	АбдуктивтіШығару	method	Көру