the Munchener is not unseasonable.
sent1: the headhunter is not a kind of a rifle. sent2: if the tilter does push raper the oxlip is a kind of a piperazine. sent3: if the fact that the tilter is a kind of a rifle but it does not push raper is false the oxlip is a kind of a piperazine. sent4: the Munchener does not push lychgate. sent5: the Munchener is unseasonable if the seismograph is unseasonable. sent6: the seismograph is not a immoderation. sent7: the fact that the seismograph is a immoderation and is not a rifle is wrong if the tilter is a kind of a rifle. sent8: the fact that the tilter does rifle but it does not push raper is false if the refinement push raper. sent9: the seismograph pushes raper and is not a immoderation if the Munchener is unseasonable. sent10: the oxlip is unambitious. sent11: the fact that the Munchener does push raper is not wrong if the tilter is both a rifle and not unseasonable. sent12: if the seismograph is a Iraq that is a immoderation the refinement does push raper. sent13: the oxlip is unseasonable. sent14: if the tilter is not seasonable and not a piperazine the oxlip is a rifle. sent15: that the tilter rifles and pushes raper is not right. sent16: the Munchener is a rifle. sent17: the seismograph is not a immoderation if the Munchener is unseasonable. sent18: if the refinement does push raper the fact that the tilter is a kind of a rifle that does push raper is not right. sent19: if that the Munchener is a kind of a Iraq that does not push raper is incorrect the tilter is unseasonable. sent20: the oxlip is not a piperazine. sent21: the refinement is not unseasonable. sent22: if the Munchener is unseasonable the seismograph is a Iraq and is not a immoderation. sent23: the fact that the refinement does rifle hold. sent24: something is both a surpriser and not a hammerhead if it is unseasonable.
void -> assump1: Let's assume that the Munchener is unseasonable.; sent22 & assump1 -> int1: the seismograph is a Iraq but it is not a immoderation.;
the refinement is a surpriser but it is not a hammerhead.
sent24 -> int2: if the refinement is unseasonable then it is a surpriser and it is not a kind of a hammerhead.;
$hypothesis$ = the Munchener is not unseasonable. ; $context$ = sent1: the headhunter is not a kind of a rifle. sent2: if the tilter does push raper the oxlip is a kind of a piperazine. sent3: if the fact that the tilter is a kind of a rifle but it does not push raper is false the oxlip is a kind of a piperazine. sent4: the Munchener does not push lychgate. sent5: the Munchener is unseasonable if the seismograph is unseasonable. sent6: the seismograph is not a immoderation. sent7: the fact that the seismograph is a immoderation and is not a rifle is wrong if the tilter is a kind of a rifle. sent8: the fact that the tilter does rifle but it does not push raper is false if the refinement push raper. sent9: the seismograph pushes raper and is not a immoderation if the Munchener is unseasonable. sent10: the oxlip is unambitious. sent11: the fact that the Munchener does push raper is not wrong if the tilter is both a rifle and not unseasonable. sent12: if the seismograph is a Iraq that is a immoderation the refinement does push raper. sent13: the oxlip is unseasonable. sent14: if the tilter is not seasonable and not a piperazine the oxlip is a rifle. sent15: that the tilter rifles and pushes raper is not right. sent16: the Munchener is a rifle. sent17: the seismograph is not a immoderation if the Munchener is unseasonable. sent18: if the refinement does push raper the fact that the tilter is a kind of a rifle that does push raper is not right. sent19: if that the Munchener is a kind of a Iraq that does not push raper is incorrect the tilter is unseasonable. sent20: the oxlip is not a piperazine. sent21: the refinement is not unseasonable. sent22: if the Munchener is unseasonable the seismograph is a Iraq and is not a immoderation. sent23: the fact that the refinement does rifle hold. sent24: something is both a surpriser and not a hammerhead if it is unseasonable. ; $proof$ = 
void -> assump1: Let's assume that the Munchener is unseasonable.; sent22 & assump1 -> int1: the seismograph is a Iraq but it is not a immoderation.; __UNKNOWN__