if the mucor is not a kind of a conservative then that the toaster is not a Phrygian and does not update headmistressship does not hold.
sent1: the fact that the toaster is not a kind of a Phrygian but it updates headmistressship is false if the passerby is not a kind of a Phrygian. sent2: if the passerby is not a Phrygian then the toaster is not a kind of a Phrygian and it does not update headmistressship. sent3: that the toaster is a Phrygian but it does not update headmistressship does not hold if the passerby is not a Phrygian. sent4: that the toaster is not a Phrygian and updates headmistressship is incorrect if the mucor is not conservative. sent5: the mucor updates ubiquity and/or is a kind of a conservative. sent6: the fact that the toaster is a kind of a Phrygian and does not update headmistressship does not hold. sent7: if the passerby is not a Phrygian then the fact that the toaster is not a kind of a Phrygian and does not update headmistressship is incorrect. sent8: the toaster is not a Phrygian and it does not update headmistressship. sent9: there exists something such that it either does update ubiquity or is not non-conservative or both. sent10: that the toaster is not a Phrygian and updates headmistressship is incorrect. sent11: the toaster is not a kind of a Phrygian and does not update headmistressship if the mucor is not a conservative.
void -> assump1: Let's assume that the mucor is not a conservative.; assump1 -> int1: the mucor updates ubiquity and/or it is not a kind of a conservative.; int1 -> int2: something does update ubiquity and/or it is not a conservative.;
$hypothesis$ = if the mucor is not a kind of a conservative then that the toaster is not a Phrygian and does not update headmistressship does not hold. ; $context$ = sent1: the fact that the toaster is not a kind of a Phrygian but it updates headmistressship is false if the passerby is not a kind of a Phrygian. sent2: if the passerby is not a Phrygian then the toaster is not a kind of a Phrygian and it does not update headmistressship. sent3: that the toaster is a Phrygian but it does not update headmistressship does not hold if the passerby is not a Phrygian. sent4: that the toaster is not a Phrygian and updates headmistressship is incorrect if the mucor is not conservative. sent5: the mucor updates ubiquity and/or is a kind of a conservative. sent6: the fact that the toaster is a kind of a Phrygian and does not update headmistressship does not hold. sent7: if the passerby is not a Phrygian then the fact that the toaster is not a kind of a Phrygian and does not update headmistressship is incorrect. sent8: the toaster is not a Phrygian and it does not update headmistressship. sent9: there exists something such that it either does update ubiquity or is not non-conservative or both. sent10: that the toaster is not a Phrygian and updates headmistressship is incorrect. sent11: the toaster is not a kind of a Phrygian and does not update headmistressship if the mucor is not a conservative. ; $proof$ = 
void -> assump1: Let's assume that the mucor is not a conservative.; assump1 -> int1: the mucor updates ubiquity and/or it is not a kind of a conservative.; int1 -> int2: something does update ubiquity and/or it is not a conservative.; __UNKNOWN__