the Icelander is capable but it is not anadromous.
sent1: the stenographer is a kind of a Pinter. sent2: the fratricide is not a Australian. sent3: the fact that something is capable and is not anadromous does not hold if it is a Pinter. sent4: something that does not sentimentalise neomycin is a stiffener and a Pinter. sent5: if the marten is a kind of a Australian then the Icelander is capable but it is not anadromous. sent6: the marten is a kind of a stiffener that is Australian if the stenographer is not a stiffener. sent7: the scraper sentimentalises neomycin. sent8: if a Pinter is a stiffener the scraper does not sentimentalise neomycin. sent9: The neomycin sentimentalises scraper.
void -> assump1: Let's assume that the stenographer is a stiffener.; sent1 & assump1 -> int1: the stenographer is a kind of a Pinter and it is a kind of a stiffener.; int1 -> int2: there is something such that it is a Pinter and is a stiffener.; int2 & sent8 -> int3: the scraper does not sentimentalise neomycin.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stenographer is not a stiffener.; int5 & sent6 -> int6: the marten is a stiffener and it is a Australian.; int6 -> int7: the marten is a Australian.; int7 & sent5 -> hypothesis;
that the Icelander is both capable and not anadromous is not right.
sent3 -> int8: that the Icelander is capable and is not anadromous is false if it is a Pinter.; sent4 -> int9: the Icelander is a stiffener and it is a Pinter if it does not sentimentalise neomycin.;
$hypothesis$ = the Icelander is capable but it is not anadromous. ; $context$ = sent1: the stenographer is a kind of a Pinter. sent2: the fratricide is not a Australian. sent3: the fact that something is capable and is not anadromous does not hold if it is a Pinter. sent4: something that does not sentimentalise neomycin is a stiffener and a Pinter. sent5: if the marten is a kind of a Australian then the Icelander is capable but it is not anadromous. sent6: the marten is a kind of a stiffener that is Australian if the stenographer is not a stiffener. sent7: the scraper sentimentalises neomycin. sent8: if a Pinter is a stiffener the scraper does not sentimentalise neomycin. sent9: The neomycin sentimentalises scraper. ; $proof$ = 
void -> assump1: Let's assume that the stenographer is a stiffener.; sent1 & assump1 -> int1: the stenographer is a kind of a Pinter and it is a kind of a stiffener.; int1 -> int2: there is something such that it is a Pinter and is a stiffener.; int2 & sent8 -> int3: the scraper does not sentimentalise neomycin.; int3 & sent7 -> int4: this is contradiction.; [assump1] & int4 -> int5: the stenographer is not a stiffener.; int5 & sent6 -> int6: the marten is a stiffener and it is a Australian.; int6 -> int7: the marten is a Australian.; int7 & sent5 -> hypothesis; __PROVED__