#27 "Can't canonicalize hypothesis ..."

[Dietrich H. Fischer]

Formula Diagnosis

Mt : AilmentMt
Formula :
(implies
(or
(forAll ?Y
(or
(not
(isa ?Y Appendix))
(not
(isInflammationOf ?X ?Y))))
(isa ?X Appendicitis))
(implies
(and
(isInflammationOf ?X ?Y)
(isa ?Y Appendix))
(isa ?X Appendicitis)))

Diagnosis : OK

When asked:

HTML Transfer halted due to script error:
Can't canonicalize hypothesis (#$or (#$forAll ?Y (#$or
(#$not #) (#$not #))) (#$isa ?X #$Appendicitis))

The form of the antecedent ("hypothesis") was created
by the system from
(implies
(trueSentence
(thereExists ?Y
(and
(isa ?Y Appendix)
(isInflammationOf ?X ?Y))))
(isa ?X Appendicitis))
when [Ask Similar] was clicked.