the porphyry is upstream if the lilliputian is a comb.
sent1: the porphyry declines if it is not upstream. sent2: the lilliputian is not upstream. sent3: the porphyry does not comb if something is a kind of a decline that is upstream. sent4: there exists something such that it is not a kind of a comb and it is a Shahn. sent5: the coaster is not conciliatory if something that is a Afro-wig declines. sent6: there exists something such that it is not a kind of a comb and it declines. sent7: if something is non-upstream it is both not a Shahn and a decline. sent8: something that does not image does not rake southernism and expectorates. sent9: that the porphyry is not a Shahn but it is a decline is not false if it is upstream. sent10: the lilliputian does not tinkle but it is a manservant. sent11: the totalitarian is not upstream. sent12: something is not a kind of a paragrapher but it is a kind of a Guyanese if the fact that it is not immortal is right. sent13: something is not upstream but it is a comb if it is not a kind of a decline. sent14: a non-upstream thing is a decline. sent15: there is something such that the fact that it is a kind of a decline hold. sent16: there exists something such that it is a kind of a Shahn that does decline. sent17: that the porphyry is a decline is right.
void -> assump2: Let's assume that the lilliputian is a comb.; sent7 -> int1: if that the porphyry is not upstream is not wrong it is not a Shahn and is a decline.; void -> assump1: Let's assume that the porphyry is not upstream.; int1 & assump1 -> int2: the porphyry is not a Shahn but it does decline.; int2 -> int3: something is not a Shahn and is a decline.;
$hypothesis$ = the porphyry is upstream if the lilliputian is a comb. ; $context$ = sent1: the porphyry declines if it is not upstream. sent2: the lilliputian is not upstream. sent3: the porphyry does not comb if something is a kind of a decline that is upstream. sent4: there exists something such that it is not a kind of a comb and it is a Shahn. sent5: the coaster is not conciliatory if something that is a Afro-wig declines. sent6: there exists something such that it is not a kind of a comb and it declines. sent7: if something is non-upstream it is both not a Shahn and a decline. sent8: something that does not image does not rake southernism and expectorates. sent9: that the porphyry is not a Shahn but it is a decline is not false if it is upstream. sent10: the lilliputian does not tinkle but it is a manservant. sent11: the totalitarian is not upstream. sent12: something is not a kind of a paragrapher but it is a kind of a Guyanese if the fact that it is not immortal is right. sent13: something is not upstream but it is a comb if it is not a kind of a decline. sent14: a non-upstream thing is a decline. sent15: there is something such that the fact that it is a kind of a decline hold. sent16: there exists something such that it is a kind of a Shahn that does decline. sent17: that the porphyry is a decline is right. ; $proof$ = 
void -> assump2: Let's assume that the lilliputian is a comb.; sent7 -> int1: if that the porphyry is not upstream is not wrong it is not a Shahn and is a decline.; void -> assump1: Let's assume that the porphyry is not upstream.; int1 & assump1 -> int2: the porphyry is not a Shahn but it does decline.; int2 -> int3: something is not a Shahn and is a decline.; __UNKNOWN__