Generalized Rules of Inferance

gistfile1.py

def confirm(forms, rule):
    wtup = rule[0]
    maintup = rule[1]
    if len(forms) != len(wtup):
        return False

    dict1 = {}

    for index,form in enumerate(forms):
        if maintup[index]:
            splitform = split(form)
            if splitform[-1] != maintup[index]:
                return False

            else:
                for m,wff in enumerate(wtup[index]):
                    if dict1.has_key(wff):
                        if dict1[wff] != splitform[m]:
                            return False
                    else:
                        dict1[wff] = splitform[m]

        else:
            stripform = strip(form)
            if dict1.has_key(wtup[index][0]):
                x = dict1[wtup[index][0]]
                if x != stripform:
                    return False
                else:
                    dict1[wtup[index][0]] = stripform

    return True