>>53
＞医者ならば、シリツ卒なら馬鹿である　　から
＞シリツ卒ならば、医者ならば馬鹿である　が、導けるか？

1，∀x(xは医者→(xはシリツ卒→xは馬鹿))　・・・前提
2，aはシリツ卒　・・・仮定
3，aは医者　・・・仮定
4，¬aは馬鹿　・・・仮定
5，aは医者→(aはシリツ卒→aは馬鹿))　・・・1より全称例示化
6，aはシリツ卒→aは馬鹿　・・・3と5より→除去
7，aは馬鹿　・・・2と6より→除去
8，矛盾　・・・4と7より矛盾導入
9，aは馬鹿　・・・4と8より¬除去
10，aは医者→aは馬鹿　・・・3と9より→導入
11，aはシリツ卒→(aは医者→aは馬鹿)　・・・2と10より→導入
12，∀x(xはシリツ卒→(xは医者→xは馬鹿))　・・・11より∀導入

より導けた