the fact that that the Barber is not gemmiferous if that the chicken is not a kind of a soldier and it is not penitent is false hold does not hold.
sent1: if the chicken does soldier then the Barber is non-gemmiferous. sent2: The lair styles endonuclease. sent3: the endonuclease is filar if there exists something such that that it is not a soldier and it is not penitent is not true. sent4: the Barber is a penitent. sent5: something that is filar and/or does mellow pliers is not a uxor. sent6: that the chicken soldiers but it is not a kind of a penitent is not true. sent7: the endonuclease styles lair. sent8: there is something such that it is a penitent. sent9: the chicken mellows pliers if something is not a uxor and it does not soldier. sent10: if something is gemmiferous and/or it is filar it does not mellow pliers. sent11: if the endonuclease is not a uxor and styles lair then the Barber is not gemmiferous. sent12: if the fact that the endonuclease mellows pliers is not incorrect then that it is not a uxor is not false. sent13: there is something such that the fact that it is a soldier but not a penitent is not true. sent14: if something is a soldier then the endonuclease is filar.
void -> assump1: Let's assume that that the chicken is not a soldier and not a penitent is wrong.; assump1 -> int1: there exists something such that that it does not soldier and is not a penitent is wrong.; int1 & sent3 -> int2: the endonuclease is filar.; int2 -> int3: the endonuclease is filar and/or it mellows pliers.; sent5 -> int4: if the endonuclease either is filar or mellows pliers or both it is not a kind of a uxor.; int3 & int4 -> int5: that the endonuclease is not a uxor is correct.; int5 & sent7 -> int6: the endonuclease is not a uxor and does style lair.; int6 & sent11 -> int7: the Barber is not gemmiferous.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the fact that that the Barber is not gemmiferous if that the chicken is not a kind of a soldier and it is not penitent is false hold does not hold. ; $context$ = sent1: if the chicken does soldier then the Barber is non-gemmiferous. sent2: The lair styles endonuclease. sent3: the endonuclease is filar if there exists something such that that it is not a soldier and it is not penitent is not true. sent4: the Barber is a penitent. sent5: something that is filar and/or does mellow pliers is not a uxor. sent6: that the chicken soldiers but it is not a kind of a penitent is not true. sent7: the endonuclease styles lair. sent8: there is something such that it is a penitent. sent9: the chicken mellows pliers if something is not a uxor and it does not soldier. sent10: if something is gemmiferous and/or it is filar it does not mellow pliers. sent11: if the endonuclease is not a uxor and styles lair then the Barber is not gemmiferous. sent12: if the fact that the endonuclease mellows pliers is not incorrect then that it is not a uxor is not false. sent13: there is something such that the fact that it is a soldier but not a penitent is not true. sent14: if something is a soldier then the endonuclease is filar. ; $proof$ = 
void -> assump1: Let's assume that that the chicken is not a soldier and not a penitent is wrong.; assump1 -> int1: there exists something such that that it does not soldier and is not a penitent is wrong.; int1 & sent3 -> int2: the endonuclease is filar.; int2 -> int3: the endonuclease is filar and/or it mellows pliers.; sent5 -> int4: if the endonuclease either is filar or mellows pliers or both it is not a kind of a uxor.; int3 & int4 -> int5: that the endonuclease is not a uxor is correct.; int5 & sent7 -> int6: the endonuclease is not a uxor and does style lair.; int6 & sent11 -> int7: the Barber is not gemmiferous.; [assump1] & int7 -> hypothesis; __DISPROVED__