there exists something such that if that it does compromise premiership and is a kind of a variety does not hold it is not a precursor.
sent1: something is not a precursor if it does compromise premiership and it is a variety. sent2: there exists something such that if the fact that it compromises premiership and it is a variety does not hold then it is a kind of a precursor. sent3: the commodore is not a precursor if it does not compromise premiership. sent4: there exists something such that if it does not compromise premiership it is not a kind of a precursor. sent5: there exists something such that if it does compromise premiership and is a variety it is not a precursor. sent6: there exists something such that if the fact that it is undramatic and a papillon is not true then it is not a shuffleboard. sent7: if the fact that the commodore compromises premiership and it is a variety is not right it is a precursor. sent8: if that something does compromise premiership and is a variety is not right then it is not a precursor. sent9: if that something does compromise premiership and it is a variety is not correct then it is a kind of a precursor. sent10: if something does not compromise premiership it is not a kind of a precursor. sent11: that the commodore is not a precursor is not incorrect if it does compromise premiership and is a kind of a variety.
sent8 -> int1: if that the commodore does compromise premiership and is a variety is not true it is not a precursor.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does compromise premiership and is a kind of a variety does not hold it is not a precursor. ; $context$ = sent1: something is not a precursor if it does compromise premiership and it is a variety. sent2: there exists something such that if the fact that it compromises premiership and it is a variety does not hold then it is a kind of a precursor. sent3: the commodore is not a precursor if it does not compromise premiership. sent4: there exists something such that if it does not compromise premiership it is not a kind of a precursor. sent5: there exists something such that if it does compromise premiership and is a variety it is not a precursor. sent6: there exists something such that if the fact that it is undramatic and a papillon is not true then it is not a shuffleboard. sent7: if the fact that the commodore compromises premiership and it is a variety is not right it is a precursor. sent8: if that something does compromise premiership and is a variety is not right then it is not a precursor. sent9: if that something does compromise premiership and it is a variety is not correct then it is a kind of a precursor. sent10: if something does not compromise premiership it is not a kind of a precursor. sent11: that the commodore is not a precursor is not incorrect if it does compromise premiership and is a kind of a variety. ; $proof$ = 
sent8 -> int1: if that the commodore does compromise premiership and is a variety is not true it is not a precursor.; int1 -> hypothesis; __PROVED__