the period is not a kind of a pennoncel.
sent1: the matchlock is hypothalamic or it garners or both. sent2: the here does lamb valerian. sent3: something is not bentonitic but it vexes if the fact that it is not a kind of a Machiavellian is right. sent4: the fact that the period lambs valerian is true if it is a kind of a pennoncel. sent5: something that is a kind of a denture is unsound. sent6: if something is not a panelist then it is a kind of a Missoula and/or it is a denture. sent7: if something does freeze then it lambs valerian and is not a pennoncel. sent8: the fact that the here either is not unsound or does not lamb valerian or both is not true if the period does lamb valerian. sent9: if something is not bentonitic but it vexes then it is not a panelist. sent10: the horseshoe is not Machiavellian if the matchlock is a Machiavellian. sent11: if there exists something such that it is a freeze then that the horseshoe is a freeze but not a Missoula is not correct. sent12: the period is a pennoncel if the here does lamb valerian but it is not a pennoncel. sent13: if the matchlock is hypothalamic it is a Machiavellian. sent14: if the Guarnerius is unsound the here is a freeze. sent15: the matchlock is not a kind of a denture. sent16: if that the matchlock does not lamb valerian or it is not a kind of a denture or both is wrong the Guarnerius is not a kind of a freeze. sent17: the matchlock freezes but it is not a kind of a denture. sent18: that the horseshoe is not a freeze but it is a kind of a Missoula is not right if something does freeze. sent19: the fact that the horseshoe is a freeze but it is not a kind of a Missoula is incorrect. sent20: if there exists something such that it is a freeze then the fact that the horseshoe is not a kind of a freeze and is not a kind of a Missoula is not true. sent21: the Guarnerius is not a freeze if the fact that the here is sound or it does lamb valerian or both is false. sent22: if something does garner it is a Machiavellian. sent23: that the Guarnerius does not freeze is not wrong if the fact that the here is not unsound and/or it does not lamb valerian does not hold. sent24: if the period does lamb valerian then the here does lamb valerian. sent25: the horseshoe is not a freeze and not a Missoula if the Guarnerius is not a freeze. sent26: that the horseshoe is not a freeze but it is a Missoula is false.
void -> assump1: Let's assume that the period is a pennoncel.; sent4 & assump1 -> int1: the period lambs valerian.; int1 & sent8 -> int2: that the here is not unsound and/or it does not lamb valerian is not true.; int2 & sent23 -> int3: the Guarnerius is not a kind of a freeze.; int3 & sent25 -> int4: the horseshoe does not freeze and is not a Missoula.; sent17 -> int5: the matchlock is a freeze.; int5 -> int6: there exists something such that it is a freeze.; int6 & sent20 -> int7: the fact that the horseshoe is not a freeze and it is not a Missoula is not right.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the period is a pennoncel.
sent7 -> int9: if the here does freeze it does lamb valerian and is not a kind of a pennoncel.; sent5 -> int10: the Guarnerius is unsound if it is a denture.; sent6 -> int11: the horseshoe either is a kind of a Missoula or is a kind of a denture or both if it is not a panelist.; sent9 -> int12: the horseshoe is not a panelist if it is not bentonitic and it does vex.; sent3 -> int13: if the horseshoe is not a Machiavellian then the fact that it is not bentonitic and it vexes is not wrong.; sent22 -> int14: the matchlock is a Machiavellian if that it garners is correct.; sent1 & sent13 & int14 -> int15: the matchlock is a kind of a Machiavellian.; sent10 & int15 -> int16: the horseshoe is not a kind of a Machiavellian.; int13 & int16 -> int17: the horseshoe is not bentonitic and does vex.; int12 & int17 -> int18: the horseshoe is not a panelist.; int11 & int18 -> int19: the horseshoe is a Missoula and/or is a denture.;
$hypothesis$ = the period is not a kind of a pennoncel. ; $context$ = sent1: the matchlock is hypothalamic or it garners or both. sent2: the here does lamb valerian. sent3: something is not bentonitic but it vexes if the fact that it is not a kind of a Machiavellian is right. sent4: the fact that the period lambs valerian is true if it is a kind of a pennoncel. sent5: something that is a kind of a denture is unsound. sent6: if something is not a panelist then it is a kind of a Missoula and/or it is a denture. sent7: if something does freeze then it lambs valerian and is not a pennoncel. sent8: the fact that the here either is not unsound or does not lamb valerian or both is not true if the period does lamb valerian. sent9: if something is not bentonitic but it vexes then it is not a panelist. sent10: the horseshoe is not Machiavellian if the matchlock is a Machiavellian. sent11: if there exists something such that it is a freeze then that the horseshoe is a freeze but not a Missoula is not correct. sent12: the period is a pennoncel if the here does lamb valerian but it is not a pennoncel. sent13: if the matchlock is hypothalamic it is a Machiavellian. sent14: if the Guarnerius is unsound the here is a freeze. sent15: the matchlock is not a kind of a denture. sent16: if that the matchlock does not lamb valerian or it is not a kind of a denture or both is wrong the Guarnerius is not a kind of a freeze. sent17: the matchlock freezes but it is not a kind of a denture. sent18: that the horseshoe is not a freeze but it is a kind of a Missoula is not right if something does freeze. sent19: the fact that the horseshoe is a freeze but it is not a kind of a Missoula is incorrect. sent20: if there exists something such that it is a freeze then the fact that the horseshoe is not a kind of a freeze and is not a kind of a Missoula is not true. sent21: the Guarnerius is not a freeze if the fact that the here is sound or it does lamb valerian or both is false. sent22: if something does garner it is a Machiavellian. sent23: that the Guarnerius does not freeze is not wrong if the fact that the here is not unsound and/or it does not lamb valerian does not hold. sent24: if the period does lamb valerian then the here does lamb valerian. sent25: the horseshoe is not a freeze and not a Missoula if the Guarnerius is not a freeze. sent26: that the horseshoe is not a freeze but it is a Missoula is false. ; $proof$ = 
void -> assump1: Let's assume that the period is a pennoncel.; sent4 & assump1 -> int1: the period lambs valerian.; int1 & sent8 -> int2: that the here is not unsound and/or it does not lamb valerian is not true.; int2 & sent23 -> int3: the Guarnerius is not a kind of a freeze.; int3 & sent25 -> int4: the horseshoe does not freeze and is not a Missoula.; sent17 -> int5: the matchlock is a freeze.; int5 -> int6: there exists something such that it is a freeze.; int6 & sent20 -> int7: the fact that the horseshoe is not a freeze and it is not a Missoula is not right.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__