the sock is not a kind of a polymer.
sent1: there exists nothing such that it does not behoove and it is not a kind of a sidestroke. sent2: if there is something such that it is a hemline then the fact that the substrate is not a underboss and is not anicteric is not true. sent3: if the fact that something is not a kind of a underboss and it is not anicteric does not hold then it is not a kind of a polymer. sent4: the Madeiras is not a bell but it untunes electrocardiogram. sent5: that the Madeiras is anicteric but it is not a underboss is incorrect if the scimitar is a kind of a hemline. sent6: the soundboard does not behoove if there is something such that the fact that it does behoove and it is a acanthocephalan is incorrect. sent7: the fact that the substrate is not a underboss if that the Madeiras is anicteric and is not a underboss does not hold is right. sent8: the sock does not behoove and is not a sidestroke if it is a kind of a polymer. sent9: the fact that the fact that the scimitar is a kind of a bell that is not unpaid is not false is false if that the bitartrate untunes electrocardiogram is incorrect. sent10: there exists nothing such that it behooves and is not a sidestroke. sent11: something is a trimaran. sent12: the sock is a polymer and it is a acanthocephalan if the substrate is not a underboss. sent13: the fact that the countrywoman untunes electrocardiogram and is not a gouge is false if it is allomerous. sent14: the sock does not behoove if it is a kind of a polymer. sent15: if something is not a bell it is unpaid and it is a hemline. sent16: the sock is not a kind of a travelogue. sent17: if something is a trimaran then the railhead is not catalatic. sent18: something is a hemline if that it does bell and is not unpaid is not correct. sent19: that the sock behooves but it is not a sidestroke is not right. sent20: the sock does not behoove. sent21: if the substrate is not a polymer then that the sock behooves and it is a acanthocephalan is false. sent22: the squeeze is a polymer.
void -> assump1: Let's assume that the sock is a polymer.; sent8 & assump1 -> int1: the sock does not behoove and it is not a sidestroke.; sent1 -> int2: the fact that the sock does not behoove and is not a sidestroke is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the soundboard does not behoove.
sent3 -> int4: if the fact that the substrate is not a underboss and is not anicteric is false then it is not a polymer.; sent15 -> int5: the Madeiras is unpaid and it is a hemline if it does not bell.; sent4 -> int6: the fact that the Madeiras does not bell is not wrong.; int5 & int6 -> int7: the Madeiras is unpaid and it is a kind of a hemline.; int7 -> int8: the Madeiras is a hemline.; int8 -> int9: there is something such that it is a kind of a hemline.; int9 & sent2 -> int10: the fact that the substrate is not a underboss and it is not anicteric is incorrect.; int4 & int10 -> int11: the substrate is not a kind of a polymer.; sent21 & int11 -> int12: the fact that the sock does behoove and it is a kind of a acanthocephalan is wrong.; int12 -> int13: there exists something such that that it does behoove and it is a acanthocephalan does not hold.; int13 & sent6 -> hypothesis;
$hypothesis$ = the sock is not a kind of a polymer. ; $context$ = sent1: there exists nothing such that it does not behoove and it is not a kind of a sidestroke. sent2: if there is something such that it is a hemline then the fact that the substrate is not a underboss and is not anicteric is not true. sent3: if the fact that something is not a kind of a underboss and it is not anicteric does not hold then it is not a kind of a polymer. sent4: the Madeiras is not a bell but it untunes electrocardiogram. sent5: that the Madeiras is anicteric but it is not a underboss is incorrect if the scimitar is a kind of a hemline. sent6: the soundboard does not behoove if there is something such that the fact that it does behoove and it is a acanthocephalan is incorrect. sent7: the fact that the substrate is not a underboss if that the Madeiras is anicteric and is not a underboss does not hold is right. sent8: the sock does not behoove and is not a sidestroke if it is a kind of a polymer. sent9: the fact that the fact that the scimitar is a kind of a bell that is not unpaid is not false is false if that the bitartrate untunes electrocardiogram is incorrect. sent10: there exists nothing such that it behooves and is not a sidestroke. sent11: something is a trimaran. sent12: the sock is a polymer and it is a acanthocephalan if the substrate is not a underboss. sent13: the fact that the countrywoman untunes electrocardiogram and is not a gouge is false if it is allomerous. sent14: the sock does not behoove if it is a kind of a polymer. sent15: if something is not a bell it is unpaid and it is a hemline. sent16: the sock is not a kind of a travelogue. sent17: if something is a trimaran then the railhead is not catalatic. sent18: something is a hemline if that it does bell and is not unpaid is not correct. sent19: that the sock behooves but it is not a sidestroke is not right. sent20: the sock does not behoove. sent21: if the substrate is not a polymer then that the sock behooves and it is a acanthocephalan is false. sent22: the squeeze is a polymer. ; $proof$ = 
void -> assump1: Let's assume that the sock is a polymer.; sent8 & assump1 -> int1: the sock does not behoove and it is not a sidestroke.; sent1 -> int2: the fact that the sock does not behoove and is not a sidestroke is false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__