search

tottoma / holmes2021

0 stars 0 forks source link

method完成_仮 #24

Closed AmiYamamot0 closed 2 years ago

AmiYamamot0 commented 2 years ago

とりあえず，以下のルールが導出できるようになりました．

kd:Mortimer kgc:canMurder kd:Mortimer
kd:Mortimer kgc:canMurder kd:Brenda
kd:Standale kgc:canMurder kd:Brenda
kd:Standale kgc:canMurder kd:Mortimer

エラー回避のためにコメントアウトしている部分が多いので，時間があれば修正した方がよさそうです．