事実： 「四角形aの角1と角3は60度で、辺1の
　　　　　長さは5、辺2の長さは7である。」

四辺形[記号=X]/[角1=60, 角3=60, 辺1=5, 辺2=7];;

質問： 「四角形aの形は?」

?- 四辺形[記号=a]/[形=X].

仮定付き答え：

IF　四辺形[記号=a].角2=V,　四辺形[記号=a].角4=V
Then　X -< 平行四辺形

「角2と角4の大きさが同じなら、平行四辺形である。」