that the bogy does not pout but it is a Atriplex is not right.
sent1: if the Sombrero is not a kind of a Odo then that it is not intramuscular and it is not a retractor is not correct. sent2: if something does not perceive sergeant then it is not a pout and is a Atriplex. sent3: if the bogy is not a pout but it is a kind of a Atriplex then the mayoress is not a rich. sent4: the Sombrero is not a kind of a Odo. sent5: the farmhand is both not a quartering and not a rich if the mayoress is not rich. sent6: if the sexist is intramuscular the Sombrero is intramuscular. sent7: if there is something such that the fact that it is non-intramuscular and it is not a retractor is not correct the farmhand is impotent. sent8: if the farmhand does quarter but it is not a kind of a rich it does not perceive sergeant. sent9: the bogy is a Atriplex. sent10: that the Sombrero is typical and is potent is incorrect if the farmhand does not perceive sergeant. sent11: the mayoress is not non-typical or not a quartering or both if there exists something such that it is impotent. sent12: the Sombrero is not intramuscular if that it is not typical and it is not impotent is incorrect. sent13: the fact that the farmhand does not perceive sergeant hold if it does not quarter and it is not a rich. sent14: if the mayoress is typical that the bogy is a quartering is not incorrect. sent15: the sexist is intramuscular. sent16: if the farmhand does not perceive sergeant that the Sombrero is not typical and it is not impotent does not hold. sent17: if the Sombrero is typical then that it is not intramuscular is not incorrect. sent18: the farmhand does not perceive sergeant if it does not quarter and it is a rich. sent19: the fact that the Sombrero is typical but it is not impotent does not hold.
void -> assump1: Let's assume that the bogy is not a kind of a pout and is a Atriplex.; sent3 & assump1 -> int1: the mayoress is not a kind of a rich.; int1 & sent5 -> int2: the farmhand does not quarter and is not rich.; int2 & sent13 -> int3: the farmhand does not perceive sergeant.; int3 & sent16 -> int4: that the Sombrero is not typical and it is not impotent does not hold.; int4 & sent12 -> int5: the Sombrero is not intramuscular.; sent6 & sent15 -> int6: that the Sombrero is intramuscular hold.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the bogy is not a pout and is a Atriplex.
sent2 -> int8: the bogy is not a kind of a pout but it is a Atriplex if it does not perceive sergeant.; sent1 & sent4 -> int9: that the Sombrero is not intramuscular and is not a retractor is not right.; int9 -> int10: there exists something such that the fact that it is not intramuscular and is not a retractor is incorrect.; int10 & sent7 -> int11: the farmhand is impotent.; int11 -> int12: there exists something such that the fact that it is impotent is not wrong.; int12 & sent11 -> int13: the mayoress is not non-typical and/or does not quarter.;
$hypothesis$ = that the bogy does not pout but it is a Atriplex is not right. ; $context$ = sent1: if the Sombrero is not a kind of a Odo then that it is not intramuscular and it is not a retractor is not correct. sent2: if something does not perceive sergeant then it is not a pout and is a Atriplex. sent3: if the bogy is not a pout but it is a kind of a Atriplex then the mayoress is not a rich. sent4: the Sombrero is not a kind of a Odo. sent5: the farmhand is both not a quartering and not a rich if the mayoress is not rich. sent6: if the sexist is intramuscular the Sombrero is intramuscular. sent7: if there is something such that the fact that it is non-intramuscular and it is not a retractor is not correct the farmhand is impotent. sent8: if the farmhand does quarter but it is not a kind of a rich it does not perceive sergeant. sent9: the bogy is a Atriplex. sent10: that the Sombrero is typical and is potent is incorrect if the farmhand does not perceive sergeant. sent11: the mayoress is not non-typical or not a quartering or both if there exists something such that it is impotent. sent12: the Sombrero is not intramuscular if that it is not typical and it is not impotent is incorrect. sent13: the fact that the farmhand does not perceive sergeant hold if it does not quarter and it is not a rich. sent14: if the mayoress is typical that the bogy is a quartering is not incorrect. sent15: the sexist is intramuscular. sent16: if the farmhand does not perceive sergeant that the Sombrero is not typical and it is not impotent does not hold. sent17: if the Sombrero is typical then that it is not intramuscular is not incorrect. sent18: the farmhand does not perceive sergeant if it does not quarter and it is a rich. sent19: the fact that the Sombrero is typical but it is not impotent does not hold. ; $proof$ = 
void -> assump1: Let's assume that the bogy is not a kind of a pout and is a Atriplex.; sent3 & assump1 -> int1: the mayoress is not a kind of a rich.; int1 & sent5 -> int2: the farmhand does not quarter and is not rich.; int2 & sent13 -> int3: the farmhand does not perceive sergeant.; int3 & sent16 -> int4: that the Sombrero is not typical and it is not impotent does not hold.; int4 & sent12 -> int5: the Sombrero is not intramuscular.; sent6 & sent15 -> int6: that the Sombrero is intramuscular hold.; int5 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__