that that the paddy is a by-catch and it does marry is incorrect hold.
sent1: if the scofflaw does marry then the paddy does marry. sent2: the pulasan is a gurnard. sent3: if something is not a kind of a buckminsterfullerene then the fact that it does not saponify hold. sent4: if the pulasan is a gurnard then the by-product is a buckminsterfullerene. sent5: if either something is a flashpoint or it does not canvas or both it does not saponify. sent6: something is a gurnard if it is not nonterritorial. sent7: the paddy is not a buckminsterfullerene if that the Chateaubriand is a buckminsterfullerene but it does not ramble ironman is true. sent8: the fact that something does axe struggler and/or it is prognathous is incorrect if it is not heedless. sent9: the scofflaw marries. sent10: the pulasan is terpsichorean and it halts. sent11: if the paddy is not a by-catch then the Chateaubriand is a flashpoint or it is not a canvas or both. sent12: the scofflaw is not a buckminsterfullerene. sent13: the pulasan is a kind of a by-catch. sent14: if the fact that the Chateaubriand is a flashpoint is not incorrect it does not saponify. sent15: something does not saponify if it is a flashpoint. sent16: the pulasan is not vicarial and it is not a primality if it does halt. sent17: that something is a by-catch and marries is not true if it does not saponify. sent18: if something is not vicarial and it is not a primality it is heedful. sent19: the Chateaubriand is a kind of a buckminsterfullerene but it does not ramble ironman if the by-product is a kind of a gurnard. sent20: if the by-product is a buckminsterfullerene then the Chateaubriand saponifies.
void -> assump1: Let's assume that that the paddy is not a by-catch is not incorrect.; sent11 & assump1 -> int1: the Chateaubriand is a flashpoint and/or not a canvas.; sent5 -> int2: the Chateaubriand does not saponify if either it is a flashpoint or it is not a canvas or both.; int1 & int2 -> int3: the Chateaubriand does not saponify.; sent4 & sent2 -> int4: the by-product is a buckminsterfullerene.; sent20 & int4 -> int5: the Chateaubriand does saponify.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the paddy is a by-catch.; sent1 & sent9 -> int8: the paddy marries.; int7 & int8 -> hypothesis;
the fact that the paddy is a kind of a by-catch that marries is not right.
sent17 -> int9: if the paddy does not saponify the fact that that it is a kind of a by-catch and it marries is not wrong is incorrect.; sent3 -> int10: if the paddy is not a buckminsterfullerene then it does not saponify.; sent6 -> int11: if the by-product is a territorial it is a gurnard.; sent8 -> int12: if the pulasan is not heedless the fact that it axes struggler and/or it is prognathous is wrong.; sent18 -> int13: if that the pulasan is both non-vicarial and not a primality is not wrong then that it is not heedless is not incorrect.; sent10 -> int14: the pulasan does halt.; sent16 & int14 -> int15: the pulasan is not vicarial and it is not a kind of a primality.; int13 & int15 -> int16: the pulasan is not heedless.; int12 & int16 -> int17: the fact that that the pulasan axes struggler and/or it is prognathous is not true is correct.; int17 -> int18: there exists something such that that it does axe struggler and/or is prognathous does not hold.;
$hypothesis$ = that that the paddy is a by-catch and it does marry is incorrect hold. ; $context$ = sent1: if the scofflaw does marry then the paddy does marry. sent2: the pulasan is a gurnard. sent3: if something is not a kind of a buckminsterfullerene then the fact that it does not saponify hold. sent4: if the pulasan is a gurnard then the by-product is a buckminsterfullerene. sent5: if either something is a flashpoint or it does not canvas or both it does not saponify. sent6: something is a gurnard if it is not nonterritorial. sent7: the paddy is not a buckminsterfullerene if that the Chateaubriand is a buckminsterfullerene but it does not ramble ironman is true. sent8: the fact that something does axe struggler and/or it is prognathous is incorrect if it is not heedless. sent9: the scofflaw marries. sent10: the pulasan is terpsichorean and it halts. sent11: if the paddy is not a by-catch then the Chateaubriand is a flashpoint or it is not a canvas or both. sent12: the scofflaw is not a buckminsterfullerene. sent13: the pulasan is a kind of a by-catch. sent14: if the fact that the Chateaubriand is a flashpoint is not incorrect it does not saponify. sent15: something does not saponify if it is a flashpoint. sent16: the pulasan is not vicarial and it is not a primality if it does halt. sent17: that something is a by-catch and marries is not true if it does not saponify. sent18: if something is not vicarial and it is not a primality it is heedful. sent19: the Chateaubriand is a kind of a buckminsterfullerene but it does not ramble ironman if the by-product is a kind of a gurnard. sent20: if the by-product is a buckminsterfullerene then the Chateaubriand saponifies. ; $proof$ = 
void -> assump1: Let's assume that that the paddy is not a by-catch is not incorrect.; sent11 & assump1 -> int1: the Chateaubriand is a flashpoint and/or not a canvas.; sent5 -> int2: the Chateaubriand does not saponify if either it is a flashpoint or it is not a canvas or both.; int1 & int2 -> int3: the Chateaubriand does not saponify.; sent4 & sent2 -> int4: the by-product is a buckminsterfullerene.; sent20 & int4 -> int5: the Chateaubriand does saponify.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the paddy is a by-catch.; sent1 & sent9 -> int8: the paddy marries.; int7 & int8 -> hypothesis; __DISPROVED__