the yawl is a RH.
sent1: if something is not a kind of a oilcan the fact that it is a schooner and it is a kind of a English does not hold. sent2: the fact that something is a schooner but it is not a English is false if it is not a oilcan. sent3: that the proofreader is not a kind of a rehearsal is correct if the pharisee is a kind of a English. sent4: if the proofreader is a kind of a RH and does not fragment Demotic then the pharisee is not a rehearsal. sent5: the Amerindian is not inculpatory. sent6: if that that the employable is a kind of a farewell that does not fragment Demotic is not true is true then the proofreader does not fragment Demotic. sent7: if the Amerindian is a oilcan then that the yawl does sputter collective but it is not a kind of a schooner is false. sent8: the pharisee is not a oilcan if the Amerindian is a kind of an adjutant and it is inculpatory. sent9: the Amerindian is not a kind of a sex if the fact that it is a kind of an adjutant that is not inculpatory is not right. sent10: if something is not a kind of a rehearsal then it fragments Demotic. sent11: the fact that the Amerindian is a kind of an adjutant and is inculpatory is not right. sent12: that the pharisee is a schooner and English is not correct if it is not a oilcan. sent13: if that the pharisee is a kind of a schooner that is not a English is wrong the proofreader is not a kind of a rehearsal. sent14: if something is not a rehearsal it is a kind of non-English thing that is not a kind of a sex. sent15: if the proofreader does fragment Demotic the yawl is a RH. sent16: the Amerindian is a RH. sent17: the fact that the Amerindian is a sex is right. sent18: if the Amerindian is a kind of an adjutant but it is not inculpatory the pharisee is not a oilcan. sent19: the pharisee is not a kind of a sex. sent20: the fact that the pharisee is a kind of a schooner and it is a English is not true. sent21: if the Amerindian is inculpatory it is not a sex. sent22: if that the yawl is a kind of a rehearsal that is not a RH is false then it is not inculpatory. sent23: if something is not a oilcan then the fact that it sexes and it is not inculpatory is incorrect.
void -> assump1: Let's assume that the fact that the Amerindian is an adjutant that is not inculpatory is wrong.; sent9 & assump1 -> int1: the Amerindian is not a sex.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Amerindian is an adjutant and is not inculpatory.; int3 & sent18 -> int4: the pharisee is not a kind of a oilcan.; sent2 -> int5: if the pharisee is not a oilcan then that it is a schooner that is not a English is not right.; int4 & int5 -> int6: that the pharisee is a schooner that is not a English is incorrect.; int6 & sent13 -> int7: the proofreader is not a rehearsal.; sent10 -> int8: that the proofreader fragments Demotic is not wrong if the fact that it is not a kind of a rehearsal is correct.; int7 & int8 -> int9: that the proofreader does not fragment Demotic does not hold.; int9 & sent15 -> hypothesis;
the fact that the yawl sputters collective but it is not a schooner is not right.
sent14 -> int10: the pharisee is not English and it does not sex if the fact that it is not a kind of a rehearsal hold.;
$hypothesis$ = the yawl is a RH. ; $context$ = sent1: if something is not a kind of a oilcan the fact that it is a schooner and it is a kind of a English does not hold. sent2: the fact that something is a schooner but it is not a English is false if it is not a oilcan. sent3: that the proofreader is not a kind of a rehearsal is correct if the pharisee is a kind of a English. sent4: if the proofreader is a kind of a RH and does not fragment Demotic then the pharisee is not a rehearsal. sent5: the Amerindian is not inculpatory. sent6: if that that the employable is a kind of a farewell that does not fragment Demotic is not true is true then the proofreader does not fragment Demotic. sent7: if the Amerindian is a oilcan then that the yawl does sputter collective but it is not a kind of a schooner is false. sent8: the pharisee is not a oilcan if the Amerindian is a kind of an adjutant and it is inculpatory. sent9: the Amerindian is not a kind of a sex if the fact that it is a kind of an adjutant that is not inculpatory is not right. sent10: if something is not a kind of a rehearsal then it fragments Demotic. sent11: the fact that the Amerindian is a kind of an adjutant and is inculpatory is not right. sent12: that the pharisee is a schooner and English is not correct if it is not a oilcan. sent13: if that the pharisee is a kind of a schooner that is not a English is wrong the proofreader is not a kind of a rehearsal. sent14: if something is not a rehearsal it is a kind of non-English thing that is not a kind of a sex. sent15: if the proofreader does fragment Demotic the yawl is a RH. sent16: the Amerindian is a RH. sent17: the fact that the Amerindian is a sex is right. sent18: if the Amerindian is a kind of an adjutant but it is not inculpatory the pharisee is not a oilcan. sent19: the pharisee is not a kind of a sex. sent20: the fact that the pharisee is a kind of a schooner and it is a English is not true. sent21: if the Amerindian is inculpatory it is not a sex. sent22: if that the yawl is a kind of a rehearsal that is not a RH is false then it is not inculpatory. sent23: if something is not a oilcan then the fact that it sexes and it is not inculpatory is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Amerindian is an adjutant that is not inculpatory is wrong.; sent9 & assump1 -> int1: the Amerindian is not a sex.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Amerindian is an adjutant and is not inculpatory.; int3 & sent18 -> int4: the pharisee is not a kind of a oilcan.; sent2 -> int5: if the pharisee is not a oilcan then that it is a schooner that is not a English is not right.; int4 & int5 -> int6: that the pharisee is a schooner that is not a English is incorrect.; int6 & sent13 -> int7: the proofreader is not a rehearsal.; sent10 -> int8: that the proofreader fragments Demotic is not wrong if the fact that it is not a kind of a rehearsal is correct.; int7 & int8 -> int9: that the proofreader does not fragment Demotic does not hold.; int9 & sent15 -> hypothesis; __PROVED__