the fact that if the ascocarp is a exordium then that the sojourner is both not differentiable and not inflexible does not hold does not hold.
sent1: that the saxifrage is differentiable is not false. sent2: that the sojourner is a kind of differentiable thing that is not inflexible is wrong. sent3: if the fact that the saxifrage is not powerless is not incorrect then the toolmaker is not differentiable. sent4: the sojourner is not powerless if the saxifrage is inflexible. sent5: that the toolmaker does not accept immunohistochemistry and does not breakfast loaded does not hold. sent6: the ascocarp does braid citizen. sent7: if the toolmaker is not differentiable the fact that the fact that the sojourner is differentiable thing that is not inflexible is not true is not incorrect. sent8: the sojourner is non-differentiable thing that is not inflexible if the ascocarp is a kind of a exordium. sent9: if the saxifrage is powerless the ascocarp is not a exordium.
void -> assump2: Let's assume that the ascocarp is a exordium.; void -> assump1: Let's assume that the saxifrage is powerless.; sent9 & assump1 -> int1: the ascocarp is not a exordium.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the saxifrage is not powerless hold.; sent3 & int3 -> int4: the toolmaker is not differentiable.; sent7 & int4 -> int5: that the sojourner is not differentiable and is not inflexible is false.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that if the ascocarp is a exordium then that the sojourner is both not differentiable and not inflexible does not hold does not hold. ; $context$ = sent1: that the saxifrage is differentiable is not false. sent2: that the sojourner is a kind of differentiable thing that is not inflexible is wrong. sent3: if the fact that the saxifrage is not powerless is not incorrect then the toolmaker is not differentiable. sent4: the sojourner is not powerless if the saxifrage is inflexible. sent5: that the toolmaker does not accept immunohistochemistry and does not breakfast loaded does not hold. sent6: the ascocarp does braid citizen. sent7: if the toolmaker is not differentiable the fact that the fact that the sojourner is differentiable thing that is not inflexible is not true is not incorrect. sent8: the sojourner is non-differentiable thing that is not inflexible if the ascocarp is a kind of a exordium. sent9: if the saxifrage is powerless the ascocarp is not a exordium. ; $proof$ = 
void -> assump2: Let's assume that the ascocarp is a exordium.; void -> assump1: Let's assume that the saxifrage is powerless.; sent9 & assump1 -> int1: the ascocarp is not a exordium.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the saxifrage is not powerless hold.; sent3 & int3 -> int4: the toolmaker is not differentiable.; sent7 & int4 -> int5: that the sojourner is not differentiable and is not inflexible is false.; [assump2] & int5 -> hypothesis; __DISPROVED__