if the fact that that the bannock is not microcephalic hold does not hold then the fact that the silverware does cancel heuristic is not false.
sent1: if that the scrapheap is not archducal and does not nod fabled is incorrect then the cheerer is clinker-built. sent2: if the fact that something crooks phone and is an antecedent is false then it does not abbreviate. sent3: if something is a inhospitality the fact that it cancels heuristic is correct. sent4: if the bannock is microcephalic the silverware is a inhospitality. sent5: if something is not a drafter the fact that it is not archducal and it does not nod fabled is incorrect. sent6: if there exists something such that it does not abbreviate then the bannock does not chip. sent7: if there are non-heterosexual things then that the silverware crooks phone and is an antecedent does not hold. sent8: if the fact that the bannock is microcephalic and does not cancel heuristic is false the antisyphilitic is a kind of a inhospitality. sent9: if that the Soubise is unexportable a heterosexual is not true then the kurrat is not heterosexual. sent10: there exists nothing that is a drafter and is not Papuan. sent11: if the cheerer is clinker-built that the Soubise is not exportable but it is a heterosexual does not hold. sent12: the fact that something is a kind of microcephalic thing that does not cancel heuristic is false if it does not chip. sent13: if that the scrapheap is a drafter but it is not a kind of a Papuan is not correct then it is not a drafter.
void -> assump1: Let's assume that the bannock is microcephalic.; sent4 & assump1 -> int1: the silverware is a kind of a inhospitality.; sent3 -> int2: the silverware cancels heuristic if it is a inhospitality.; int1 & int2 -> int3: the silverware cancels heuristic.; [assump1] & int3 -> hypothesis;
the fact that the antisyphilitic is a inhospitality is right.
sent12 -> int4: if the bannock is not a kind of a chipper then that it is microcephalic and does not cancel heuristic is false.; sent2 -> int5: if the fact that the silverware does crook phone and it is an antecedent is incorrect then that it does not abbreviate is not false.; sent5 -> int6: if the fact that the scrapheap is not a drafter hold that it is not archducal and does not nod fabled is not right.; sent10 -> int7: the fact that the scrapheap is a kind of a drafter but it is not a Papuan does not hold.; sent13 & int7 -> int8: the scrapheap is not a drafter.; int6 & int8 -> int9: that the scrapheap is not archducal and does not nod fabled is false.; sent1 & int9 -> int10: the cheerer is clinker-built.; sent11 & int10 -> int11: that the Soubise is not exportable but heterosexual is not right.; sent9 & int11 -> int12: the kurrat is not a kind of a heterosexual.; int12 -> int13: there are non-heterosexual things.; int13 & sent7 -> int14: that the silverware crooks phone and it is antecedent does not hold.; int5 & int14 -> int15: the silverware does not abbreviate.; int15 -> int16: there exists something such that it does not abbreviate.; int16 & sent6 -> int17: the bannock is not a chipper.; int4 & int17 -> int18: the fact that the bannock is microcephalic but it does not cancel heuristic is not true.; sent8 & int18 -> hypothesis;
$hypothesis$ = if the fact that that the bannock is not microcephalic hold does not hold then the fact that the silverware does cancel heuristic is not false. ; $context$ = sent1: if that the scrapheap is not archducal and does not nod fabled is incorrect then the cheerer is clinker-built. sent2: if the fact that something crooks phone and is an antecedent is false then it does not abbreviate. sent3: if something is a inhospitality the fact that it cancels heuristic is correct. sent4: if the bannock is microcephalic the silverware is a inhospitality. sent5: if something is not a drafter the fact that it is not archducal and it does not nod fabled is incorrect. sent6: if there exists something such that it does not abbreviate then the bannock does not chip. sent7: if there are non-heterosexual things then that the silverware crooks phone and is an antecedent does not hold. sent8: if the fact that the bannock is microcephalic and does not cancel heuristic is false the antisyphilitic is a kind of a inhospitality. sent9: if that the Soubise is unexportable a heterosexual is not true then the kurrat is not heterosexual. sent10: there exists nothing that is a drafter and is not Papuan. sent11: if the cheerer is clinker-built that the Soubise is not exportable but it is a heterosexual does not hold. sent12: the fact that something is a kind of microcephalic thing that does not cancel heuristic is false if it does not chip. sent13: if that the scrapheap is a drafter but it is not a kind of a Papuan is not correct then it is not a drafter. ; $proof$ = 
void -> assump1: Let's assume that the bannock is microcephalic.; sent4 & assump1 -> int1: the silverware is a kind of a inhospitality.; sent3 -> int2: the silverware cancels heuristic if it is a inhospitality.; int1 & int2 -> int3: the silverware cancels heuristic.; [assump1] & int3 -> hypothesis; __PROVED__