the wisteria is not a censoring.
sent1: the pinnacle is a walk-up and/or Hertzian. sent2: the chokepoint is postnuptial if there is something such that it is toxic. sent3: if something is burrlike it is a censoring. sent4: if that the evolutionist is not combinative is true the pinnacle is not a censoring but it is compressible. sent5: if something is not compressible then that it is not combinative and does not warm Egbert is not true. sent6: something is burrlike if it is combinative. sent7: something that drinks challis is a alphabetizer. sent8: something is combinative if it is compressible. sent9: that the wisteria is a Alcedo is right. sent10: there is something such that either it is a kind of a Durrell or it is not toxic or both. sent11: the wisteria is not a censoring but it is burrlike if the pinnacle uprises. sent12: the fact that the estaminet is scholarly if there is something such that it does realize rutherfordium is not false. sent13: the wisteria is compressible if something is a Durrell or it is not toxic or both. sent14: that the wisteria is compressible hold if there is something such that it is a Durrell. sent15: something does rafter if it does uncloak. sent16: the fact that the wisteria does not censor is correct if that the pinnacle is not a censor but it is compressible is right. sent17: if that something is not combinative and does not warm Egbert does not hold it warm Egbert.
sent10 & sent13 -> int1: the wisteria is compressible.; sent8 -> int2: if the wisteria is compressible that it is noncombinative is false.; int1 & int2 -> int3: the wisteria is combinative.; sent6 -> int4: the wisteria is burrlike if it is combinative.; int3 & int4 -> int5: the wisteria is burrlike.; sent3 -> int6: if the wisteria is burrlike then it is a censoring.; int5 & int6 -> hypothesis;
the forager does warm Egbert.
sent17 -> int7: the forager warms Egbert if that it is not combinative and does not warms Egbert is wrong.; sent5 -> int8: that the forager is non-combinative thing that does not warm Egbert does not hold if it is not compressible.;
$hypothesis$ = the wisteria is not a censoring. ; $context$ = sent1: the pinnacle is a walk-up and/or Hertzian. sent2: the chokepoint is postnuptial if there is something such that it is toxic. sent3: if something is burrlike it is a censoring. sent4: if that the evolutionist is not combinative is true the pinnacle is not a censoring but it is compressible. sent5: if something is not compressible then that it is not combinative and does not warm Egbert is not true. sent6: something is burrlike if it is combinative. sent7: something that drinks challis is a alphabetizer. sent8: something is combinative if it is compressible. sent9: that the wisteria is a Alcedo is right. sent10: there is something such that either it is a kind of a Durrell or it is not toxic or both. sent11: the wisteria is not a censoring but it is burrlike if the pinnacle uprises. sent12: the fact that the estaminet is scholarly if there is something such that it does realize rutherfordium is not false. sent13: the wisteria is compressible if something is a Durrell or it is not toxic or both. sent14: that the wisteria is compressible hold if there is something such that it is a Durrell. sent15: something does rafter if it does uncloak. sent16: the fact that the wisteria does not censor is correct if that the pinnacle is not a censor but it is compressible is right. sent17: if that something is not combinative and does not warm Egbert does not hold it warm Egbert. ; $proof$ = 
sent10 & sent13 -> int1: the wisteria is compressible.; sent8 -> int2: if the wisteria is compressible that it is noncombinative is false.; int1 & int2 -> int3: the wisteria is combinative.; sent6 -> int4: the wisteria is burrlike if it is combinative.; int3 & int4 -> int5: the wisteria is burrlike.; sent3 -> int6: if the wisteria is burrlike then it is a censoring.; int5 & int6 -> hypothesis; __DISPROVED__