the fact that the fact that either something does not stake or it is not muscular or both is not wrong does not hold.
sent1: if the transformer is not divisible then it is not a stake and/or it is not muscular. sent2: the transformer does not stake or it is muscular or both if it is not divisible. sent3: the tassel is a kind of a arenavirus. sent4: the transformer does not angle if that it is a whipper-in and it is divisible is true. sent5: if that the transformer is indivisible hold it stakes and/or it is not muscular. sent6: the fact that the Patella is a kind of non-muscular thing that is not a kind of a stake is wrong if there is something such that it enlivens punnet. sent7: the transformer is not anisometropic or it is not impure or both if it is not muscular. sent8: the encumbrance is a whipper-in. sent9: if something either does not furrow Aire or is pectic or both the catbird is not archdiocesan. sent10: something does reassail recombination and is not a Revere if it is not archdiocesan. sent11: the transformer is a kind of an angled. sent12: the transformer is a stake or it is not muscular or both. sent13: everything is a whipper-in. sent14: if there exists something such that it is a kind of a arenavirus the roselle does not furrow Aire and/or it is pectic. sent15: something is not a stake and/or is muscular. sent16: the transformer does not proposition aerophile. sent17: something either is a stake or is not muscular or both. sent18: something is not chaste if it reassails recombination and it is not a Revere. sent19: the transformer does not stake and/or it is muscular. sent20: if something is not chaste it enlivens punnet. sent21: that the punnet is a whipper-in and is divisible if that the redbird is not an angled hold is not wrong. sent22: the redbird is not an angled if that the Patella is non-muscular thing that is not a kind of a stake is wrong.
sent13 -> int1: the transformer is a whipper-in.; void -> assump1: Let's assume that the transformer is divisible.; int1 & assump1 -> int2: the transformer is a whipper-in and divisible.; int2 & sent4 -> int3: the transformer is not an angled.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the transformer is not divisible is not incorrect.; int5 & sent1 -> int6: the transformer is not a kind of a stake and/or it is not muscular.; int6 -> hypothesis;
the punnet is divisible.
sent20 -> int7: the catbird does enliven punnet if it is not chaste.; sent18 -> int8: the catbird is not chaste if it reassails recombination and it is not a kind of a Revere.; sent10 -> int9: the catbird reassails recombination and is not a Revere if it is not archdiocesan.; sent3 -> int10: there is something such that the fact that it is a arenavirus is true.; int10 & sent14 -> int11: the roselle does not furrow Aire or it is pectic or both.; int11 -> int12: something does not furrow Aire or is pectic or both.; int12 & sent9 -> int13: the catbird is non-archdiocesan.; int9 & int13 -> int14: the catbird reassails recombination but it is not a Revere.; int8 & int14 -> int15: the catbird is not chaste.; int7 & int15 -> int16: the catbird enlivens punnet.; int16 -> int17: there exists something such that it enlivens punnet.; int17 & sent6 -> int18: the fact that the Patella is both not muscular and not a stake does not hold.; sent22 & int18 -> int19: the redbird is not an angled.; sent21 & int19 -> int20: the punnet is a kind of a whipper-in and it is divisible.; int20 -> hypothesis;
$hypothesis$ = the fact that the fact that either something does not stake or it is not muscular or both is not wrong does not hold. ; $context$ = sent1: if the transformer is not divisible then it is not a stake and/or it is not muscular. sent2: the transformer does not stake or it is muscular or both if it is not divisible. sent3: the tassel is a kind of a arenavirus. sent4: the transformer does not angle if that it is a whipper-in and it is divisible is true. sent5: if that the transformer is indivisible hold it stakes and/or it is not muscular. sent6: the fact that the Patella is a kind of non-muscular thing that is not a kind of a stake is wrong if there is something such that it enlivens punnet. sent7: the transformer is not anisometropic or it is not impure or both if it is not muscular. sent8: the encumbrance is a whipper-in. sent9: if something either does not furrow Aire or is pectic or both the catbird is not archdiocesan. sent10: something does reassail recombination and is not a Revere if it is not archdiocesan. sent11: the transformer is a kind of an angled. sent12: the transformer is a stake or it is not muscular or both. sent13: everything is a whipper-in. sent14: if there exists something such that it is a kind of a arenavirus the roselle does not furrow Aire and/or it is pectic. sent15: something is not a stake and/or is muscular. sent16: the transformer does not proposition aerophile. sent17: something either is a stake or is not muscular or both. sent18: something is not chaste if it reassails recombination and it is not a Revere. sent19: the transformer does not stake and/or it is muscular. sent20: if something is not chaste it enlivens punnet. sent21: that the punnet is a whipper-in and is divisible if that the redbird is not an angled hold is not wrong. sent22: the redbird is not an angled if that the Patella is non-muscular thing that is not a kind of a stake is wrong. ; $proof$ = 
sent13 -> int1: the transformer is a whipper-in.; void -> assump1: Let's assume that the transformer is divisible.; int1 & assump1 -> int2: the transformer is a whipper-in and divisible.; int2 & sent4 -> int3: the transformer is not an angled.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the transformer is not divisible is not incorrect.; int5 & sent1 -> int6: the transformer is not a kind of a stake and/or it is not muscular.; int6 -> hypothesis; __DISPROVED__