that the horseman is not a kind of a indigence and/or it breathes is not true.
sent1: the alumroot is not a potto. sent2: the horseman is a indigence. sent3: if something bethinks Hitler it is a potto. sent4: that the horseman is not a kind of a indigence and/or it breathes is not correct if the Parisienne is a kind of a potto. sent5: the freight is not a kind of a MPS if the alumroot is both a MPS and praetorian. sent6: the alumroot does damage gawker and is indestructible if the scrag is not a kind of a carter. sent7: the alumroot is not a kind of a MPS. sent8: the alumroot is a MPS if it is not a potto and it is a covering. sent9: the Parisienne bethinks Hitler if the fact that the horseman either is a indigence or does breathe or both is not right. sent10: the Parisienne does breathe if that the horseman either is not a potto or bethinks Hitler or both does not hold. sent11: the Parisienne does bethink Hitler and/or it does cover if that the freight is not a MPS hold. sent12: the freight is a potto if the fact that the Parisienne bethinks Hitler hold. sent13: the horseman is both not a potto and a indigence. sent14: something is both a MPS and not non-praetorian if it is not a kind of a secularist. sent15: if something damages gawker that it is both a heir-at-law and not a dose is false. sent16: the Parisienne bethinks Hitler if the fact that that the horseman is not a indigence and/or breathes is right does not hold. sent17: the freight is not a potto or it is a MPS or both. sent18: that the Parisienne is not unplayable and/or it is an extraction is not right. sent19: the alumroot is not a potto but it is a covering if the freight is a potto. sent20: if the fact that something is a heir-at-law but it is not a dose does not hold it is not a secularist. sent21: the horseman is a kind of a indigence and/or it does breathe. sent22: the alumroot is not a kind of a potto if the freight is a potto. sent23: the alumroot is a MPS if it is a kind of a potto that is a kind of a covering.
void -> assump1: Let's assume that that the horseman is not a indigence or it does breathe or both is not true.; sent16 & assump1 -> int1: the Parisienne does bethink Hitler.; int1 & sent12 -> int2: the freight is a kind of a potto.; int2 & sent19 -> int3: the alumroot is not a potto and is a kind of a covering.; int3 & sent8 -> int4: the alumroot is a MPS.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the fact that either the horseman is not a indigence or it does breathe or both is incorrect.
sent14 -> int6: if the alumroot is not a secularist it is a MPS and it is praetorian.; sent20 -> int7: the alumroot is not a secularist if the fact that it is a heir-at-law and does not dose is not correct.; sent15 -> int8: the fact that the alumroot is a heir-at-law but it does not dose is not right if the fact that it does damage gawker is not incorrect.; sent3 -> int9: if the Parisienne does bethink Hitler then it is a potto.;
$hypothesis$ = that the horseman is not a kind of a indigence and/or it breathes is not true. ; $context$ = sent1: the alumroot is not a potto. sent2: the horseman is a indigence. sent3: if something bethinks Hitler it is a potto. sent4: that the horseman is not a kind of a indigence and/or it breathes is not correct if the Parisienne is a kind of a potto. sent5: the freight is not a kind of a MPS if the alumroot is both a MPS and praetorian. sent6: the alumroot does damage gawker and is indestructible if the scrag is not a kind of a carter. sent7: the alumroot is not a kind of a MPS. sent8: the alumroot is a MPS if it is not a potto and it is a covering. sent9: the Parisienne bethinks Hitler if the fact that the horseman either is a indigence or does breathe or both is not right. sent10: the Parisienne does breathe if that the horseman either is not a potto or bethinks Hitler or both does not hold. sent11: the Parisienne does bethink Hitler and/or it does cover if that the freight is not a MPS hold. sent12: the freight is a potto if the fact that the Parisienne bethinks Hitler hold. sent13: the horseman is both not a potto and a indigence. sent14: something is both a MPS and not non-praetorian if it is not a kind of a secularist. sent15: if something damages gawker that it is both a heir-at-law and not a dose is false. sent16: the Parisienne bethinks Hitler if the fact that that the horseman is not a indigence and/or breathes is right does not hold. sent17: the freight is not a potto or it is a MPS or both. sent18: that the Parisienne is not unplayable and/or it is an extraction is not right. sent19: the alumroot is not a potto but it is a covering if the freight is a potto. sent20: if the fact that something is a heir-at-law but it is not a dose does not hold it is not a secularist. sent21: the horseman is a kind of a indigence and/or it does breathe. sent22: the alumroot is not a kind of a potto if the freight is a potto. sent23: the alumroot is a MPS if it is a kind of a potto that is a kind of a covering. ; $proof$ = 
void -> assump1: Let's assume that that the horseman is not a indigence or it does breathe or both is not true.; sent16 & assump1 -> int1: the Parisienne does bethink Hitler.; int1 & sent12 -> int2: the freight is a kind of a potto.; int2 & sent19 -> int3: the alumroot is not a potto and is a kind of a covering.; int3 & sent8 -> int4: the alumroot is a MPS.; int4 & sent7 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__