the fact that either the polybutylene is not stative or it does commiserate pogonion or both is not correct.
sent1: the petcock is a Ali and is a kind of a galactosemia. sent2: if the petcock is not autotypic the pogonion is a firelighter that is autotypic. sent3: the pogonion is not autotypic and is not a kind of a Dicranopteris. sent4: that something is a kind of a galactosemia and is a vicegerent is not correct if it is not autotypic. sent5: the hometown is a kind of a Dicranopteris. sent6: if something is not a kind of a Ali then it is not stative and/or it commiserates pogonion. sent7: if something that is a kind of a Ali is not a vicegerent then it is not autotypic.
sent1 -> int1: the petcock is a Ali.; void -> assump1: Let's assume that the petcock is not a vicegerent.; int1 & assump1 -> int2: the petcock is a Ali and is not a vicegerent.; sent7 -> int3: the petcock is not autotypic if that it is a Ali and it is not a kind of a vicegerent is right.; int2 & int3 -> int4: the fact that the petcock is not autotypic hold.; int4 & sent2 -> int5: the pogonion is a firelighter and autotypic.; int5 -> int6: the fact that the pogonion is autotypic is true.; sent3 -> int7: the pogonion is not autotypic.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the petcock is a vicegerent.; int9 -> int10: there is something such that it is a kind of a vicegerent.;
the polybutylene is not stative or it commiserates pogonion or both.
sent6 -> int11: the polybutylene either is not stative or does commiserate pogonion or both if it is not a Ali.; sent4 -> int12: that the polybutylene is a galactosemia and a vicegerent is not right if it is not autotypic.;
$hypothesis$ = the fact that either the polybutylene is not stative or it does commiserate pogonion or both is not correct. ; $context$ = sent1: the petcock is a Ali and is a kind of a galactosemia. sent2: if the petcock is not autotypic the pogonion is a firelighter that is autotypic. sent3: the pogonion is not autotypic and is not a kind of a Dicranopteris. sent4: that something is a kind of a galactosemia and is a vicegerent is not correct if it is not autotypic. sent5: the hometown is a kind of a Dicranopteris. sent6: if something is not a kind of a Ali then it is not stative and/or it commiserates pogonion. sent7: if something that is a kind of a Ali is not a vicegerent then it is not autotypic. ; $proof$ = 
sent1 -> int1: the petcock is a Ali.; void -> assump1: Let's assume that the petcock is not a vicegerent.; int1 & assump1 -> int2: the petcock is a Ali and is not a vicegerent.; sent7 -> int3: the petcock is not autotypic if that it is a Ali and it is not a kind of a vicegerent is right.; int2 & int3 -> int4: the fact that the petcock is not autotypic hold.; int4 & sent2 -> int5: the pogonion is a firelighter and autotypic.; int5 -> int6: the fact that the pogonion is autotypic is true.; sent3 -> int7: the pogonion is not autotypic.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the petcock is a vicegerent.; int9 -> int10: there is something such that it is a kind of a vicegerent.; __UNKNOWN__