the fact that the bubblejet talcs headfast but it is not a kind of a biennial does not hold if the delayer is a marbled.
sent1: if the delayer is a marbled the bubblejet talcs headfast and is not a biennial. sent2: the delayer does not marble if it is a professor and shortens. sent3: the bubblejet is not a biennial. sent4: the avocado is not biennial. sent5: everything is not carpellary. sent6: if the fact that the bubblejet is not a carry is not incorrect the delayer does not shorten. sent7: something is not a carry if it does talc headfast and it is not biennial. sent8: the bubblejet is not a carry if it does talc headfast and it is a kind of a biennial. sent9: if something is a professor but it does not shorten then it is not a kind of a marbled. sent10: the bubblejet talcs headfast. sent11: the delayer is a professor and does not shorten if the bubblejet is not a carry. sent12: something is not a carry if it does not marble and it does shorten.
sent7 -> int1: the bubblejet is not a kind of a carry if it does talc headfast and it is not biennial.; void -> assump2: Let's assume that the bubblejet talcs headfast and is not a kind of a biennial.; int1 & assump2 -> int2: that the bubblejet is not a kind of a carry is not wrong.; int2 & sent11 -> int3: the delayer is a professor but it does not shorten.; sent9 -> int4: the delayer is not a marbled if it is a professor and it does not shorten.; int3 & int4 -> int5: the delayer is not a kind of a marbled.; void -> assump1: Let's assume that the delayer does marble.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: that the bubblejet does talc headfast but it is not biennial is not true.; [assump1] & int7 -> hypothesis;
the muffler is a professor but it is not a reversal.
sent12 -> int8: if the muffler does not marble and does shorten then it does not carry.; sent5 -> int9: the delayer is not carpellary.;
$hypothesis$ = the fact that the bubblejet talcs headfast but it is not a kind of a biennial does not hold if the delayer is a marbled. ; $context$ = sent1: if the delayer is a marbled the bubblejet talcs headfast and is not a biennial. sent2: the delayer does not marble if it is a professor and shortens. sent3: the bubblejet is not a biennial. sent4: the avocado is not biennial. sent5: everything is not carpellary. sent6: if the fact that the bubblejet is not a carry is not incorrect the delayer does not shorten. sent7: something is not a carry if it does talc headfast and it is not biennial. sent8: the bubblejet is not a carry if it does talc headfast and it is a kind of a biennial. sent9: if something is a professor but it does not shorten then it is not a kind of a marbled. sent10: the bubblejet talcs headfast. sent11: the delayer is a professor and does not shorten if the bubblejet is not a carry. sent12: something is not a carry if it does not marble and it does shorten. ; $proof$ = 
sent7 -> int1: the bubblejet is not a kind of a carry if it does talc headfast and it is not biennial.; void -> assump2: Let's assume that the bubblejet talcs headfast and is not a kind of a biennial.; int1 & assump2 -> int2: that the bubblejet is not a kind of a carry is not wrong.; int2 & sent11 -> int3: the delayer is a professor but it does not shorten.; sent9 -> int4: the delayer is not a marbled if it is a professor and it does not shorten.; int3 & int4 -> int5: the delayer is not a kind of a marbled.; void -> assump1: Let's assume that the delayer does marble.; int5 & assump1 -> int6: this is contradiction.; [assump2] & int6 -> int7: that the bubblejet does talc headfast but it is not biennial is not true.; [assump1] & int7 -> hypothesis; __PROVED__