the stearin is discourteous.
sent1: the stearin is discourteous if the pipet is not discourteous but it does erase dioon. sent2: if the fact that the straitjacket does not erase natural and does edge foreignness is false then the press does not edge foreignness. sent3: the embodiment is nomothetic. sent4: the trigonometrician is not chiasmal. sent5: the fact that the straitjacket is not chiasmal and erases natural is not true. sent6: if the pipet is a cricket then the straitjacket does not erase dioon and does not cricket. sent7: if the straitjacket does not erase natural then that it does not erase dioon and does cricket does not hold. sent8: the fact that the straitjacket does not erase dioon and is a kind of a cricket is not true. sent9: that the embodiment is a kind of non-ignoble thing that is not unacceptable is not right if the seismologist is chiasmal. sent10: the peptone does not cricket and it is not a kind of a jockey. sent11: if there exists something such that that it is not masochistic and it is non-veinal does not hold then the stearin is not discourteous. sent12: if something does not erase natural then that it does not erase dioon and it is not a cricket is incorrect. sent13: the straitjacket is not unacceptable. sent14: if the pipet is discourteous a cricket then the press is not a cricket. sent15: something is ignoble but it does not erase dioon if it is not chiasmal. sent16: the fact that something is a cricket that erases natural if it is not ignoble is true. sent17: if the pipet does not erase natural and it is not veinal then it crickets. sent18: the pipet does not erase dioon if the stearin is a kind of ignoble thing that does not erase dioon. sent19: the straitjacket does not erase natural if that it is non-chiasmal and it does erase natural is not correct. sent20: that the straitjacket erases dioon and is not a kind of a cricket does not hold if it does not erase natural. sent21: the fact that something does not erase natural but it edges foreignness is not true if it is not unacceptable. sent22: if the fact that the fact that the embodiment is not ignoble and it is not unacceptable is correct is false then the straitjacket is not ignoble. sent23: if the pipet is both not masochistic and non-veinal it is a cricket. sent24: the pipet does cricket if it is masochistic and it is not veinal.
void -> assump1: Let's assume that the pipet is not masochistic and is not veinal.; sent23 & assump1 -> int1: the pipet is a cricket.; int1 & sent6 -> int2: the straitjacket does not erase dioon and it does not cricket.; sent12 -> int3: if the fact that the straitjacket does not erase natural is right that it does not erase dioon and it is not a kind of a cricket is not right.; sent19 & sent5 -> int4: the straitjacket does not erase natural.; int3 & int4 -> int5: the fact that the straitjacket does not erase dioon and does not cricket is false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the fact that the pipet is not masochistic and it is not veinal is right is incorrect.; int7 -> int8: there is something such that the fact that it is a kind of non-masochistic thing that is non-veinal is not true.; int8 & sent11 -> hypothesis;
the fact that the stearin is discourteous is correct.
sent16 -> int9: the straitjacket is a cricket and it does erase natural if it is not ignoble.;
$hypothesis$ = the stearin is discourteous. ; $context$ = sent1: the stearin is discourteous if the pipet is not discourteous but it does erase dioon. sent2: if the fact that the straitjacket does not erase natural and does edge foreignness is false then the press does not edge foreignness. sent3: the embodiment is nomothetic. sent4: the trigonometrician is not chiasmal. sent5: the fact that the straitjacket is not chiasmal and erases natural is not true. sent6: if the pipet is a cricket then the straitjacket does not erase dioon and does not cricket. sent7: if the straitjacket does not erase natural then that it does not erase dioon and does cricket does not hold. sent8: the fact that the straitjacket does not erase dioon and is a kind of a cricket is not true. sent9: that the embodiment is a kind of non-ignoble thing that is not unacceptable is not right if the seismologist is chiasmal. sent10: the peptone does not cricket and it is not a kind of a jockey. sent11: if there exists something such that that it is not masochistic and it is non-veinal does not hold then the stearin is not discourteous. sent12: if something does not erase natural then that it does not erase dioon and it is not a cricket is incorrect. sent13: the straitjacket is not unacceptable. sent14: if the pipet is discourteous a cricket then the press is not a cricket. sent15: something is ignoble but it does not erase dioon if it is not chiasmal. sent16: the fact that something is a cricket that erases natural if it is not ignoble is true. sent17: if the pipet does not erase natural and it is not veinal then it crickets. sent18: the pipet does not erase dioon if the stearin is a kind of ignoble thing that does not erase dioon. sent19: the straitjacket does not erase natural if that it is non-chiasmal and it does erase natural is not correct. sent20: that the straitjacket erases dioon and is not a kind of a cricket does not hold if it does not erase natural. sent21: the fact that something does not erase natural but it edges foreignness is not true if it is not unacceptable. sent22: if the fact that the fact that the embodiment is not ignoble and it is not unacceptable is correct is false then the straitjacket is not ignoble. sent23: if the pipet is both not masochistic and non-veinal it is a cricket. sent24: the pipet does cricket if it is masochistic and it is not veinal. ; $proof$ = 
void -> assump1: Let's assume that the pipet is not masochistic and is not veinal.; sent23 & assump1 -> int1: the pipet is a cricket.; int1 & sent6 -> int2: the straitjacket does not erase dioon and it does not cricket.; sent12 -> int3: if the fact that the straitjacket does not erase natural is right that it does not erase dioon and it is not a kind of a cricket is not right.; sent19 & sent5 -> int4: the straitjacket does not erase natural.; int3 & int4 -> int5: the fact that the straitjacket does not erase dioon and does not cricket is false.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the fact that the pipet is not masochistic and it is not veinal is right is incorrect.; int7 -> int8: there is something such that the fact that it is a kind of non-masochistic thing that is non-veinal is not true.; int8 & sent11 -> hypothesis; __DISPROVED__