the urokinase is not a kind of an affined and it does not represent.
sent1: the lisle does not spread townie. sent2: the urokinase is not a kind of an affined and it does not represent if the pelter is not a AFL-CIO. sent3: that the belemnite is not phonological and it is not a submersible is not true. sent4: that the belemnite is non-phonological thing that is a submersible is false. sent5: The townie does not spread lisle. sent6: the pelter is not unpleasant if the fact that the belemnite is not phonological and it is nonsubmersible is wrong. sent7: the pelter is anthracitic if it is not unpleasant and it is a AFL-CIO. sent8: if the pelter is not a AFL-CIO then the urokinase does not represent. sent9: that if the pelter is anthracitic then the lisle spreads townie is not false.
sent6 & sent3 -> int1: the pelter is not unpleasant.; void -> assump1: Let's assume that the pelter is a kind of a AFL-CIO.; int1 & assump1 -> int2: the pelter is not unpleasant and is a AFL-CIO.; int2 & sent7 -> int3: the fact that the pelter is anthracitic is not false.; int3 & sent9 -> int4: the fact that the lisle spreads townie is correct.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pelter is not a AFL-CIO.; int6 & sent2 -> hypothesis;
$hypothesis$ = the urokinase is not a kind of an affined and it does not represent. ; $context$ = sent1: the lisle does not spread townie. sent2: the urokinase is not a kind of an affined and it does not represent if the pelter is not a AFL-CIO. sent3: that the belemnite is not phonological and it is not a submersible is not true. sent4: that the belemnite is non-phonological thing that is a submersible is false. sent5: The townie does not spread lisle. sent6: the pelter is not unpleasant if the fact that the belemnite is not phonological and it is nonsubmersible is wrong. sent7: the pelter is anthracitic if it is not unpleasant and it is a AFL-CIO. sent8: if the pelter is not a AFL-CIO then the urokinase does not represent. sent9: that if the pelter is anthracitic then the lisle spreads townie is not false. ; $proof$ = 
sent6 & sent3 -> int1: the pelter is not unpleasant.; void -> assump1: Let's assume that the pelter is a kind of a AFL-CIO.; int1 & assump1 -> int2: the pelter is not unpleasant and is a AFL-CIO.; int2 & sent7 -> int3: the fact that the pelter is anthracitic is not false.; int3 & sent9 -> int4: the fact that the lisle spreads townie is correct.; int4 & sent1 -> int5: this is contradiction.; [assump1] & int5 -> int6: the pelter is not a AFL-CIO.; int6 & sent2 -> hypothesis; __PROVED__