the valedictorian is a net.
sent1: if the fact that something does not adjoin snooker or it does not adjoin childbirth or both is wrong it does adjoin hyoid. sent2: if the fact that something is minimal and it is not non-net is incorrect then it is not a non-net. sent3: if that either the valedictorian is not a kind of a net or it adjoins snooker or both is not right then it is a filter. sent4: something is a filter if it is minimal. sent5: the selectman is minimal. sent6: if that the ridley is not a net and/or it is not minimal is false then it adjoins hyoid. sent7: if something does not adjoin hyoid then that it is minimal and it is not non-net is false. sent8: if something reciprocates that it emulsifies quotability is correct. sent9: that that that the valedictorian is non-heraldic or not a filter or both is not wrong is not right hold. sent10: if the fact that the valedictorian does not adjoin ridley and/or is minimal is wrong then it does adjoin snooker. sent11: if the ridley is a filter then it does adjoin ridley. sent12: there exists nothing such that either it does not adjoin snooker or it does not adjoin childbirth or both. sent13: the fact that either the radiophotograph does not filter or it is not a jodhpurs or both is not correct. sent14: if the fact that something is not a she-oak and/or it is honorable is not true it is technophobic. sent15: if something adjoins ridley it is a net. sent16: if the jack-in-the-box is a kind of a determinateness and/or it is not a North the valedictorian does not adjoin ridley. sent17: something is minimal if it adjoins hyoid. sent18: if that the ridley is a filter hold the valedictorian adjoins ridley. sent19: if that the ridley either does adjoin snooker or does not adjoin childbirth or both is wrong the fact that it does adjoin hyoid hold.
sent1 -> int1: the ridley does adjoin hyoid if the fact that it either does not adjoin snooker or does not adjoin childbirth or both is not true.; sent12 -> int2: the fact that the ridley does not adjoin snooker and/or does not adjoin childbirth does not hold.; int1 & int2 -> int3: the ridley adjoins hyoid.; sent17 -> int4: the ridley is minimal if it does adjoin hyoid.; int3 & int4 -> int5: the ridley is minimal.; sent4 -> int6: the ridley is a filter if it is minimal.; int5 & int6 -> int7: the ridley is a filter.; int7 & sent18 -> int8: the valedictorian adjoins ridley.; sent15 -> int9: if the valedictorian does adjoin ridley then it does net.; int8 & int9 -> hypothesis;
the valedictorian does not net.
sent2 -> int10: the valedictorian is not net if that it is minimal and it is a net is wrong.; sent7 -> int11: if the valedictorian does not adjoin hyoid then the fact that it is minimal and net is not true.;
$hypothesis$ = the valedictorian is a net. ; $context$ = sent1: if the fact that something does not adjoin snooker or it does not adjoin childbirth or both is wrong it does adjoin hyoid. sent2: if the fact that something is minimal and it is not non-net is incorrect then it is not a non-net. sent3: if that either the valedictorian is not a kind of a net or it adjoins snooker or both is not right then it is a filter. sent4: something is a filter if it is minimal. sent5: the selectman is minimal. sent6: if that the ridley is not a net and/or it is not minimal is false then it adjoins hyoid. sent7: if something does not adjoin hyoid then that it is minimal and it is not non-net is false. sent8: if something reciprocates that it emulsifies quotability is correct. sent9: that that that the valedictorian is non-heraldic or not a filter or both is not wrong is not right hold. sent10: if the fact that the valedictorian does not adjoin ridley and/or is minimal is wrong then it does adjoin snooker. sent11: if the ridley is a filter then it does adjoin ridley. sent12: there exists nothing such that either it does not adjoin snooker or it does not adjoin childbirth or both. sent13: the fact that either the radiophotograph does not filter or it is not a jodhpurs or both is not correct. sent14: if the fact that something is not a she-oak and/or it is honorable is not true it is technophobic. sent15: if something adjoins ridley it is a net. sent16: if the jack-in-the-box is a kind of a determinateness and/or it is not a North the valedictorian does not adjoin ridley. sent17: something is minimal if it adjoins hyoid. sent18: if that the ridley is a filter hold the valedictorian adjoins ridley. sent19: if that the ridley either does adjoin snooker or does not adjoin childbirth or both is wrong the fact that it does adjoin hyoid hold. ; $proof$ = 
sent1 -> int1: the ridley does adjoin hyoid if the fact that it either does not adjoin snooker or does not adjoin childbirth or both is not true.; sent12 -> int2: the fact that the ridley does not adjoin snooker and/or does not adjoin childbirth does not hold.; int1 & int2 -> int3: the ridley adjoins hyoid.; sent17 -> int4: the ridley is minimal if it does adjoin hyoid.; int3 & int4 -> int5: the ridley is minimal.; sent4 -> int6: the ridley is a filter if it is minimal.; int5 & int6 -> int7: the ridley is a filter.; int7 & sent18 -> int8: the valedictorian adjoins ridley.; sent15 -> int9: if the valedictorian does adjoin ridley then it does net.; int8 & int9 -> hypothesis; __PROVED__