the contrail is a kind of Churchillian thing that does unspell addend.
sent1: The addend does unspell contrail. sent2: the contrail does unspell addend. sent3: if the contrail rustles myopathy it is Churchillian. sent4: if the contrail is cowardly then it rustles myopathy. sent5: the fact that the peony is not nonspherical is not incorrect. sent6: if that the contrail is a kind of a menstruum is correct then that the peony is nonspherical is not wrong. sent7: if something is a figure and/or not pharmaceutical then it is cowardly. sent8: something is nonspherical if it does rustle myopathy. sent9: if that the peony is not a kind of a menstruum is not incorrect then the fact that the contrail is Churchillian and unspells addend is not correct. sent10: if the contrail is not a menstruum it does figure and/or it is not a pharmaceutical.
void -> assump1: Let's assume that the contrail is a menstruum.; sent6 & assump1 -> int1: the peony is nonspherical.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the contrail is not a menstruum.; int3 & sent10 -> int4: either the contrail figures or it is not a kind of a pharmaceutical or both.; sent7 -> int5: the contrail is cowardly if it is a kind of a figure or is not a pharmaceutical or both.; int4 & int5 -> int6: the contrail is cowardly.; int6 & sent4 -> int7: the contrail rustles myopathy.; int7 & sent3 -> int8: the contrail is Churchillian.; int8 & sent2 -> hypothesis;
that that the fact that the contrail is Churchillian and it does unspell addend hold is wrong is not false.
$hypothesis$ = the contrail is a kind of Churchillian thing that does unspell addend. ; $context$ = sent1: The addend does unspell contrail. sent2: the contrail does unspell addend. sent3: if the contrail rustles myopathy it is Churchillian. sent4: if the contrail is cowardly then it rustles myopathy. sent5: the fact that the peony is not nonspherical is not incorrect. sent6: if that the contrail is a kind of a menstruum is correct then that the peony is nonspherical is not wrong. sent7: if something is a figure and/or not pharmaceutical then it is cowardly. sent8: something is nonspherical if it does rustle myopathy. sent9: if that the peony is not a kind of a menstruum is not incorrect then the fact that the contrail is Churchillian and unspells addend is not correct. sent10: if the contrail is not a menstruum it does figure and/or it is not a pharmaceutical. ; $proof$ = 
void -> assump1: Let's assume that the contrail is a menstruum.; sent6 & assump1 -> int1: the peony is nonspherical.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the contrail is not a menstruum.; int3 & sent10 -> int4: either the contrail figures or it is not a kind of a pharmaceutical or both.; sent7 -> int5: the contrail is cowardly if it is a kind of a figure or is not a pharmaceutical or both.; int4 & int5 -> int6: the contrail is cowardly.; int6 & sent4 -> int7: the contrail rustles myopathy.; int7 & sent3 -> int8: the contrail is Churchillian.; int8 & sent2 -> hypothesis; __PROVED__