the fact that the larch is a kind of a position if that the tubercle does bathe chrism is not wrong does not hold.
sent1: the larch is haemophilic and/or not a position if the fact that it is a sarcoplasm is not incorrect. sent2: if the tubercle positions the larch is haemophilic. sent3: either the larch does not bathe chrism or it positions or both. sent4: if something is a kopek then it does not rubbish currycomb and/or does not rubbish cost. sent5: that the larch does bathe chrism is true if the tubercle is not haemophilic or it is not a position or both. sent6: the tubercle is not a kind of a position and/or does bathe chrism. sent7: something is not a sarcoplasm or it is not haemophilic or both if it bathes chrism. sent8: the larch does position if the tubercle is not a sarcoplasm and/or is not haemophilic. sent9: that the larch positions hold if the tubercle is non-haemophilic. sent10: the larch is a sarcoplasm or it is not a position or both.
sent7 -> int1: if the tubercle bathes chrism it is not a sarcoplasm and/or it is not haemophilic.; void -> assump1: Let's assume that the tubercle does bathe chrism.; int1 & assump1 -> int2: the tubercle is not a sarcoplasm or not haemophilic or both.; sent8 & int2 -> int3: the larch is a kind of a position.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the larch is a kind of a position if that the tubercle does bathe chrism is not wrong does not hold. ; $context$ = sent1: the larch is haemophilic and/or not a position if the fact that it is a sarcoplasm is not incorrect. sent2: if the tubercle positions the larch is haemophilic. sent3: either the larch does not bathe chrism or it positions or both. sent4: if something is a kopek then it does not rubbish currycomb and/or does not rubbish cost. sent5: that the larch does bathe chrism is true if the tubercle is not haemophilic or it is not a position or both. sent6: the tubercle is not a kind of a position and/or does bathe chrism. sent7: something is not a sarcoplasm or it is not haemophilic or both if it bathes chrism. sent8: the larch does position if the tubercle is not a sarcoplasm and/or is not haemophilic. sent9: that the larch positions hold if the tubercle is non-haemophilic. sent10: the larch is a sarcoplasm or it is not a position or both. ; $proof$ = 
sent7 -> int1: if the tubercle bathes chrism it is not a sarcoplasm and/or it is not haemophilic.; void -> assump1: Let's assume that the tubercle does bathe chrism.; int1 & assump1 -> int2: the tubercle is not a sarcoplasm or not haemophilic or both.; sent8 & int2 -> int3: the larch is a kind of a position.; [assump1] & int3 -> hypothesis; __DISPROVED__