if the argentine does not thicken the pledge does not subtilize Illyrian.
sent1: if the argentine thickens then the pledge does not subtilize Illyrian. sent2: the argentine is bivalve if it does not thicken. sent3: the haw is a kind of a xerophyte and it is a anoa. sent4: if the argentine thickens then it is a Rutledge and it is a bivalve. sent5: if the argentine either does thicken or does not subtilize Illyrian or both then that the HDTV is a Rutledge hold. sent6: the argentine is a Rutledge and it is a bivalve if it does not thicken. sent7: the argentine subtilizes Illyrian. sent8: if the argentine is a Rutledge then the HDTV either is a Rutledge or is not retrorse or both. sent9: the fiancee is a bivalve. sent10: the pledge does not subtilize Illyrian if the HDTV is not retrorse. sent11: the HDTV is a Rutledge or is retrorse or both. sent12: the argentine is a kind of a bivalve. sent13: if that something thickens but it is not retrorse is not right that it does not thickens hold. sent14: if the argentine is a Rutledge the HDTV is a Rutledge and/or is retrorse. sent15: the argentine is a Rutledge if the HDTV is bivalve and/or it is not retrorse. sent16: if the HDTV is either a Rutledge or not retrorse or both then the pledge does not subtilize Illyrian. sent17: the pledge does subtilize Illyrian if that the argentine does not thicken hold.
void -> assump1: Let's assume that the argentine does not thicken.; sent6 & assump1 -> int1: the argentine is a Rutledge and it is bivalve.; int1 -> int2: the argentine is a Rutledge.; sent8 & int2 -> int3: the HDTV either is a Rutledge or is not retrorse or both.; sent16 & int3 -> int4: the pledge does not subtilize Illyrian.; [assump1] & int4 -> hypothesis;
the pledge does not thicken.
sent13 -> int5: the pledge does not thicken if the fact that it thicken and is not retrorse is incorrect.;
$hypothesis$ = if the argentine does not thicken the pledge does not subtilize Illyrian. ; $context$ = sent1: if the argentine thickens then the pledge does not subtilize Illyrian. sent2: the argentine is bivalve if it does not thicken. sent3: the haw is a kind of a xerophyte and it is a anoa. sent4: if the argentine thickens then it is a Rutledge and it is a bivalve. sent5: if the argentine either does thicken or does not subtilize Illyrian or both then that the HDTV is a Rutledge hold. sent6: the argentine is a Rutledge and it is a bivalve if it does not thicken. sent7: the argentine subtilizes Illyrian. sent8: if the argentine is a Rutledge then the HDTV either is a Rutledge or is not retrorse or both. sent9: the fiancee is a bivalve. sent10: the pledge does not subtilize Illyrian if the HDTV is not retrorse. sent11: the HDTV is a Rutledge or is retrorse or both. sent12: the argentine is a kind of a bivalve. sent13: if that something thickens but it is not retrorse is not right that it does not thickens hold. sent14: if the argentine is a Rutledge the HDTV is a Rutledge and/or is retrorse. sent15: the argentine is a Rutledge if the HDTV is bivalve and/or it is not retrorse. sent16: if the HDTV is either a Rutledge or not retrorse or both then the pledge does not subtilize Illyrian. sent17: the pledge does subtilize Illyrian if that the argentine does not thicken hold. ; $proof$ = 
void -> assump1: Let's assume that the argentine does not thicken.; sent6 & assump1 -> int1: the argentine is a Rutledge and it is bivalve.; int1 -> int2: the argentine is a Rutledge.; sent8 & int2 -> int3: the HDTV either is a Rutledge or is not retrorse or both.; sent16 & int3 -> int4: the pledge does not subtilize Illyrian.; [assump1] & int4 -> hypothesis; __PROVED__