the oleoresin does round.
sent1: the oleoresin rounds if the poroporo greets Illyrian. sent2: if the howler is not a ruin and it is not Tantric then the deliveryman is not neckless. sent3: something is not non-acapnic and/or is volcanic if it is not a Punjabi. sent4: if the prince is not a kind of a round the oleoresin does not greet Illyrian and it is not exergonic. sent5: if the fact that the barrator is acapnic is right the howler is volcanic. sent6: The unorthodoxy does greet warder. sent7: if the warder is expressible the poroporo does greet Illyrian. sent8: if the barrator is volcanic then the howler is volcanic. sent9: the warder is a kind of exergonic thing that greets bundling if it is not a collectivist. sent10: the warder does greet unorthodoxy. sent11: something that is vulnerable and greets unorthodoxy is not exergonic. sent12: the warder is not a kind of a collectivist. sent13: the leadwort does not refresh Seneca and is seamless if the deliveryman is not neckless. sent14: the fact that the fact that something is round thing that is vulnerable hold is wrong if the fact that it does not greet unorthodoxy is correct. sent15: if the tweeter greets bundling then the prince does not round. sent16: the tweeter is a kind of a collectivist and/or it does greet bundling if there is something such that it does list supplement. sent17: the barrator lists reeler. sent18: if the warder is vulnerable thing that does not greet unorthodoxy then the batfish is expressible. sent19: if the barrator lists reeler then it is not a Punjabi and does not greet howler. sent20: the prince is not a kind of a round if the tweeter is a collectivist. sent21: something that does dump barrator is not a kind of a ruin and is not Tantric. sent22: if the oleoresin does not greet Illyrian and it is not exergonic then the poroporo is exergonic. sent23: if something is not vulnerable then it is expressible. sent24: if something does not refresh Seneca but it is seamless it lists supplement. sent25: something does dump barrator if that it is volcanic is true.
void -> assump1: Let's assume that that the warder is vulnerable is right.; assump1 & sent10 -> int1: the warder is vulnerable and it does greet unorthodoxy.; sent11 -> int2: if the warder is a kind of vulnerable thing that does greet unorthodoxy it is not exergonic.; int1 & int2 -> int3: the warder is not exergonic.; sent9 & sent12 -> int4: that the warder is exergonic and it does greet bundling is right.; int4 -> int5: the warder is exergonic.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the warder is not vulnerable.; sent23 -> int8: if the warder is not vulnerable then it is expressible.; int7 & int8 -> int9: the warder is expressible.; int9 & sent7 -> int10: the poroporo does greet Illyrian.; int10 & sent1 -> hypothesis;
the batfish is expressible.
sent24 -> int11: if the leadwort does not refresh Seneca and is seamless it lists supplement.; sent21 -> int12: the howler is not a ruin and is not Tantric if it dumps barrator.; sent25 -> int13: if the howler is volcanic it dumps barrator.; sent3 -> int14: if the barrator is not a Punjabi then it either is acapnic or is volcanic or both.; sent19 & sent17 -> int15: the barrator is not a Punjabi and does not greet howler.; int15 -> int16: the barrator is not a kind of a Punjabi.; int14 & int16 -> int17: either the barrator is acapnic or it is volcanic or both.; int17 & sent5 & sent8 -> int18: the howler is volcanic.; int13 & int18 -> int19: the howler does dump barrator.; int12 & int19 -> int20: the howler does not ruin and it is non-Tantric.; sent2 & int20 -> int21: the deliveryman is not neckless.; sent13 & int21 -> int22: the leadwort does not refresh Seneca and is seamless.; int11 & int22 -> int23: that the leadwort does list supplement is right.; int23 -> int24: there is something such that it lists supplement.; int24 & sent16 -> int25: either the tweeter is a collectivist or it greets bundling or both.; int25 & sent20 & sent15 -> int26: the prince does not round.; sent4 & int26 -> int27: the oleoresin does not greet Illyrian and it is not exergonic.; sent22 & int27 -> int28: the poroporo is exergonic.; int28 -> int29: there exists something such that the fact that it is exergonic hold.;
$hypothesis$ = the oleoresin does round. ; $context$ = sent1: the oleoresin rounds if the poroporo greets Illyrian. sent2: if the howler is not a ruin and it is not Tantric then the deliveryman is not neckless. sent3: something is not non-acapnic and/or is volcanic if it is not a Punjabi. sent4: if the prince is not a kind of a round the oleoresin does not greet Illyrian and it is not exergonic. sent5: if the fact that the barrator is acapnic is right the howler is volcanic. sent6: The unorthodoxy does greet warder. sent7: if the warder is expressible the poroporo does greet Illyrian. sent8: if the barrator is volcanic then the howler is volcanic. sent9: the warder is a kind of exergonic thing that greets bundling if it is not a collectivist. sent10: the warder does greet unorthodoxy. sent11: something that is vulnerable and greets unorthodoxy is not exergonic. sent12: the warder is not a kind of a collectivist. sent13: the leadwort does not refresh Seneca and is seamless if the deliveryman is not neckless. sent14: the fact that the fact that something is round thing that is vulnerable hold is wrong if the fact that it does not greet unorthodoxy is correct. sent15: if the tweeter greets bundling then the prince does not round. sent16: the tweeter is a kind of a collectivist and/or it does greet bundling if there is something such that it does list supplement. sent17: the barrator lists reeler. sent18: if the warder is vulnerable thing that does not greet unorthodoxy then the batfish is expressible. sent19: if the barrator lists reeler then it is not a Punjabi and does not greet howler. sent20: the prince is not a kind of a round if the tweeter is a collectivist. sent21: something that does dump barrator is not a kind of a ruin and is not Tantric. sent22: if the oleoresin does not greet Illyrian and it is not exergonic then the poroporo is exergonic. sent23: if something is not vulnerable then it is expressible. sent24: if something does not refresh Seneca but it is seamless it lists supplement. sent25: something does dump barrator if that it is volcanic is true. ; $proof$ = 
void -> assump1: Let's assume that that the warder is vulnerable is right.; assump1 & sent10 -> int1: the warder is vulnerable and it does greet unorthodoxy.; sent11 -> int2: if the warder is a kind of vulnerable thing that does greet unorthodoxy it is not exergonic.; int1 & int2 -> int3: the warder is not exergonic.; sent9 & sent12 -> int4: that the warder is exergonic and it does greet bundling is right.; int4 -> int5: the warder is exergonic.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the warder is not vulnerable.; sent23 -> int8: if the warder is not vulnerable then it is expressible.; int7 & int8 -> int9: the warder is expressible.; int9 & sent7 -> int10: the poroporo does greet Illyrian.; int10 & sent1 -> hypothesis; __PROVED__