纯C三段论推理程序

/*
2020年5月23日21:12:06
*/

#include <stdio.h>
int main()
{

char str1[10]; 
char str2[10]; 
char str3[10]; printf("★★★★"); 
printf("□★◇＿○※〓◇◎●◎←■＿→ \n");
printf("例如公式;\n"); 
printf("所有的A是B\n"); 
printf("C是A\n");
printf("得出C是B\n");
printf("\n");
printf("□★◇＿○※〓◇◎●◎←■＿→ \n");
printf("先写出两个真前提对象/条件;\n"); 

scanf("%s",&str1);
scanf("%s",&str2);
printf("所有的%s是%s\n",str1,str2); 

scanf("%s",&str3);
printf("第二个真前提;"); 
printf("%s是%s\n",str3,str1);

printf("得出;");
printf("%s是%s\n",str3,str2);
return 0;

}