the windowpane is postpositive and/or it disposes.
sent1: the windowpane is not a Tudor and/or it is attitudinal. sent2: the gesneriad is not postpositive if it does rafter Madoqua. sent3: that the gesneriad is not attitudinal hold. sent4: something is not postpositive if it is non-attitudinal and/or it rafters Madoqua. sent5: if the windowpane is not attitudinal then that it is postpositive and/or it disposes is false. sent6: if the gesneriad is not postpositive the windowpane is postpositive and/or it does dispose. sent7: something is not postpositive if it does rafter Madoqua.
sent3 -> int1: either the gesneriad is non-attitudinal or it does rafter Madoqua or both.; sent4 -> int2: if the gesneriad is not attitudinal and/or it rafters Madoqua then it is not postpositive.; int1 & int2 -> int3: the gesneriad is not postpositive.; int3 & sent6 -> hypothesis;
that the windowpane is postpositive and/or disposes is false.
$hypothesis$ = the windowpane is postpositive and/or it disposes. ; $context$ = sent1: the windowpane is not a Tudor and/or it is attitudinal. sent2: the gesneriad is not postpositive if it does rafter Madoqua. sent3: that the gesneriad is not attitudinal hold. sent4: something is not postpositive if it is non-attitudinal and/or it rafters Madoqua. sent5: if the windowpane is not attitudinal then that it is postpositive and/or it disposes is false. sent6: if the gesneriad is not postpositive the windowpane is postpositive and/or it does dispose. sent7: something is not postpositive if it does rafter Madoqua. ; $proof$ = 
sent3 -> int1: either the gesneriad is non-attitudinal or it does rafter Madoqua or both.; sent4 -> int2: if the gesneriad is not attitudinal and/or it rafters Madoqua then it is not postpositive.; int1 & int2 -> int3: the gesneriad is not postpositive.; int3 & sent6 -> hypothesis; __PROVED__