there exists something such that if the fact that it is nonspecific and is humanist is not right then it is not semiotic.
sent1: something is semiotic if that it is nonspecific and it is humanist is not true. sent2: that the bang is not semiotic is not wrong if it is nonspecific thing that is a humanist. sent3: there exists something such that if it is nonspecific and it is humanist then it is not semiotic. sent4: if the bang is not nonspecific then it is not semiotic. sent5: a nonspecific thing that is a humanist is not semiotic. sent6: there exists something such that if it is not nonspecific then it is not semiotic. sent7: if the fact that something is not specific and it is a kind of a humanist is not right then it is not semiotic. sent8: there exists something such that if that it is nonspecific and it is a humanist is not true then it is semiotic. sent9: the fact that something is not semiotic if it is not nonspecific hold. sent10: if the fact that the bang is nonspecific and it is a kind of a humanist does not hold then it is semiotic.
sent7 -> int1: the fact that the bang is not semiotic hold if the fact that the fact that it is both nonspecific and a humanist hold does not hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is nonspecific and is humanist is not right then it is not semiotic. ; $context$ = sent1: something is semiotic if that it is nonspecific and it is humanist is not true. sent2: that the bang is not semiotic is not wrong if it is nonspecific thing that is a humanist. sent3: there exists something such that if it is nonspecific and it is humanist then it is not semiotic. sent4: if the bang is not nonspecific then it is not semiotic. sent5: a nonspecific thing that is a humanist is not semiotic. sent6: there exists something such that if it is not nonspecific then it is not semiotic. sent7: if the fact that something is not specific and it is a kind of a humanist is not right then it is not semiotic. sent8: there exists something such that if that it is nonspecific and it is a humanist is not true then it is semiotic. sent9: the fact that something is not semiotic if it is not nonspecific hold. sent10: if the fact that the bang is nonspecific and it is a kind of a humanist does not hold then it is semiotic. ; $proof$ = 
sent7 -> int1: the fact that the bang is not semiotic hold if the fact that the fact that it is both nonspecific and a humanist hold does not hold.; int1 -> hypothesis; __PROVED__