the nip rises and it is unairworthy.
sent1: the nib is not a sealskin. sent2: the nib is not a sealskin but it is a kind of a Pollachius. sent3: the nip rises and it is unmilitary if the tragedienne is not an almond. sent4: the nip is unairworthy. sent5: the nip is not a kind of a nicotine. sent6: the ware is a worst. sent7: the nip is unmilitary if the tragedienne is not an almond. sent8: if the tragedienne is not a nicotine but it is an almond the ware is not a kind of a worst. sent9: if the nib is not a sealskin but it is a Pollachius the tragedienne is not a nicotine.
sent9 & sent2 -> int1: the tragedienne is not a nicotine.; void -> assump1: Let's assume that the tragedienne is an almond.; int1 & assump1 -> int2: the tragedienne is not a nicotine but it is an almond.; int2 & sent8 -> int3: the ware is not a worst.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tragedienne is not a kind of an almond.; int5 & sent3 -> int6: the nip is a kind of a risen and it is unmilitary.; int6 -> int7: the nip does rise.; int7 & sent4 -> hypothesis;
$hypothesis$ = the nip rises and it is unairworthy. ; $context$ = sent1: the nib is not a sealskin. sent2: the nib is not a sealskin but it is a kind of a Pollachius. sent3: the nip rises and it is unmilitary if the tragedienne is not an almond. sent4: the nip is unairworthy. sent5: the nip is not a kind of a nicotine. sent6: the ware is a worst. sent7: the nip is unmilitary if the tragedienne is not an almond. sent8: if the tragedienne is not a nicotine but it is an almond the ware is not a kind of a worst. sent9: if the nib is not a sealskin but it is a Pollachius the tragedienne is not a nicotine. ; $proof$ = 
sent9 & sent2 -> int1: the tragedienne is not a nicotine.; void -> assump1: Let's assume that the tragedienne is an almond.; int1 & assump1 -> int2: the tragedienne is not a nicotine but it is an almond.; int2 & sent8 -> int3: the ware is not a worst.; int3 & sent6 -> int4: this is contradiction.; [assump1] & int4 -> int5: the tragedienne is not a kind of an almond.; int5 & sent3 -> int6: the nip is a kind of a risen and it is unmilitary.; int6 -> int7: the nip does rise.; int7 & sent4 -> hypothesis; __PROVED__