the sheeting is a kind of a narcotic if the belting is a kind of an outline.
sent1: the bethel is not a kind of a narcotic. sent2: the belting is not narcotic. sent3: the belting does not symmetrize. sent4: everything is a kind of an outline. sent5: that the fact that the sheeting is nonadsorbent thing that is not an outline does not hold hold. sent6: if the fact that the belting is immunodeficient thing that does not symmetrize does not hold then that it is not an outline is not incorrect. sent7: if something is narcotic the fact that it is bacillar and does not symmetrize is not right. sent8: the sheeting is a narcotic if the belting is immunodeficient and symmetrizes. sent9: that the belting is immunodeficient and it does symmetrize does not hold. sent10: if the fact that the belting is immunodeficient but it does not symmetrize is not true then it is an outline. sent11: if the belting does symmetrize it is not an outline. sent12: the sheeting is narcotic if the belting is immunodeficient but it does not symmetrize.
void -> assump2: Let's assume that the belting is a kind of an outline.; void -> assump1: Let's assume that the fact that the belting is immunodeficient but it does not symmetrize is not correct.; sent6 & assump1 -> int1: the belting is not an outline.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the belting is immunodeficient but it does not symmetrize.; sent12 & int3 -> int4: the sheeting is a kind of a narcotic.; [assump2] & int4 -> hypothesis;
that the belting is bacillar but it does not symmetrize does not hold.
sent7 -> int5: if the belting is a narcotic then the fact that it is bacillar and it does not symmetrize is not correct.;
$hypothesis$ = the sheeting is a kind of a narcotic if the belting is a kind of an outline. ; $context$ = sent1: the bethel is not a kind of a narcotic. sent2: the belting is not narcotic. sent3: the belting does not symmetrize. sent4: everything is a kind of an outline. sent5: that the fact that the sheeting is nonadsorbent thing that is not an outline does not hold hold. sent6: if the fact that the belting is immunodeficient thing that does not symmetrize does not hold then that it is not an outline is not incorrect. sent7: if something is narcotic the fact that it is bacillar and does not symmetrize is not right. sent8: the sheeting is a narcotic if the belting is immunodeficient and symmetrizes. sent9: that the belting is immunodeficient and it does symmetrize does not hold. sent10: if the fact that the belting is immunodeficient but it does not symmetrize is not true then it is an outline. sent11: if the belting does symmetrize it is not an outline. sent12: the sheeting is narcotic if the belting is immunodeficient but it does not symmetrize. ; $proof$ = 
void -> assump2: Let's assume that the belting is a kind of an outline.; void -> assump1: Let's assume that the fact that the belting is immunodeficient but it does not symmetrize is not correct.; sent6 & assump1 -> int1: the belting is not an outline.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the belting is immunodeficient but it does not symmetrize.; sent12 & int3 -> int4: the sheeting is a kind of a narcotic.; [assump2] & int4 -> hypothesis; __PROVED__