if the banquette is not censorial the nude is a kind of non-Eurocentric thing that does not impinge.
sent1: something does impinge if the fact that it is not a Wallace and it is a fulminate does not hold. sent2: something is Eurocentric if it does impinge. sent3: the succorer is not censorial if it slogs Teuton. sent4: if that the banquette is not censorial is correct the nude is Eurocentric but it does not impinge. sent5: the fact that the banquette is a kind of a Ismaili is true if that the fact that the nude does not slog Teuton and is censorial does not hold is not wrong. sent6: the banquette is censorial if that the succorer is not a kind of a Ismaili is wrong. sent7: if the nude does not slog Teuton then it does not impinge. sent8: the breadstuff is not Ismaili. sent9: if something does not slog Teuton it does not impinge. sent10: something does slog Teuton if that it is not a Ismaili and does not slog Teuton does not hold. sent11: that the nude does not slog Teuton and is censorial is not right if the succorer is Eurocentric. sent12: if the banquette is censorial then the nude is not Eurocentric and it does not impinge. sent13: something is not non-Eurocentric but it does not impinge if that it does not slog Teuton hold. sent14: the Cross does impinge. sent15: if the banquette is not censorial the nude does not impinge. sent16: the nude does not impinge. sent17: if that the amorphophallus is not a kind of an addressed and is not Eurocentric is false then the fact that the succorer is not Eurocentric is true. sent18: something is not Eurocentric and does not impinge if it does not slog Teuton. sent19: the nude is Eurocentric and does not impinge if it does not slog Teuton. sent20: that something is both not an addressed and not Eurocentric is not correct if it impinges.
void -> assump2: Let's assume that the nude does slog Teuton.; void -> assump1: Let's assume that the banquette is non-censorial.; sent18 -> int1: the nude is a kind of non-Eurocentric thing that does not impinge if it does not slog Teuton.;
the succorer is not censorial.
sent10 -> int2: if that the succorer is not a kind of a Ismaili and it does not slog Teuton is not correct it does slog Teuton.; sent2 -> int3: if that the nude impinges is right then it is Eurocentric.;
$hypothesis$ = if the banquette is not censorial the nude is a kind of non-Eurocentric thing that does not impinge. ; $context$ = sent1: something does impinge if the fact that it is not a Wallace and it is a fulminate does not hold. sent2: something is Eurocentric if it does impinge. sent3: the succorer is not censorial if it slogs Teuton. sent4: if that the banquette is not censorial is correct the nude is Eurocentric but it does not impinge. sent5: the fact that the banquette is a kind of a Ismaili is true if that the fact that the nude does not slog Teuton and is censorial does not hold is not wrong. sent6: the banquette is censorial if that the succorer is not a kind of a Ismaili is wrong. sent7: if the nude does not slog Teuton then it does not impinge. sent8: the breadstuff is not Ismaili. sent9: if something does not slog Teuton it does not impinge. sent10: something does slog Teuton if that it is not a Ismaili and does not slog Teuton does not hold. sent11: that the nude does not slog Teuton and is censorial is not right if the succorer is Eurocentric. sent12: if the banquette is censorial then the nude is not Eurocentric and it does not impinge. sent13: something is not non-Eurocentric but it does not impinge if that it does not slog Teuton hold. sent14: the Cross does impinge. sent15: if the banquette is not censorial the nude does not impinge. sent16: the nude does not impinge. sent17: if that the amorphophallus is not a kind of an addressed and is not Eurocentric is false then the fact that the succorer is not Eurocentric is true. sent18: something is not Eurocentric and does not impinge if it does not slog Teuton. sent19: the nude is Eurocentric and does not impinge if it does not slog Teuton. sent20: that something is both not an addressed and not Eurocentric is not correct if it impinges. ; $proof$ = 
void -> assump2: Let's assume that the nude does slog Teuton.; void -> assump1: Let's assume that the banquette is non-censorial.; sent18 -> int1: the nude is a kind of non-Eurocentric thing that does not impinge if it does not slog Teuton.; __UNKNOWN__