the fact that the hobbyhorse is not a reader is not incorrect.
sent1: the fact that there exists something such that that it is not a Nicaraguan is correct is correct. sent2: something is hierarchical and a Hypericum if it is not a pathway. sent3: the bog is sonic. sent4: the hobbyhorse is a reader if there exists something such that the fact that it is a kind of a Rush and it does not beat xylose is not wrong. sent5: the fact that the bog is a Rush is not wrong. sent6: something is not a reader. sent7: the fact that the romanticist is a reader that is not a Nicaraguan is not correct. sent8: the hobbyhorse is sonic. sent9: the bog is a Nicaraguan if there exists something such that it is sonic. sent10: if the fact that something is a pathway that snuffles hourglass does not hold it is not a kind of a pathway. sent11: if a Rush is not a Nicaraguan then the romanticist does beat xylose. sent12: there exists something such that that it is not extroversive hold. sent13: the romanticist is a kind of a Nicaraguan if that the bog is a kind of a Rush but it does not beat xylose does not hold. sent14: the romanticist is not non-sonic but it is not a Nicaraguan. sent15: the bog enjoys DNA and it is dizygotic. sent16: the romanticist is sonic. sent17: there is nothing such that it is a pathway and it snuffles hourglass. sent18: the bog is a reader if something that is a kind of a Rush is not sonic. sent19: something is a reader if that it does enjoy DNA hold. sent20: if something is hierarchical then it is sonic. sent21: the romanticist is a Rush.
void -> assump1: Let's assume that the fact that the bog is a Rush and does not beat xylose is not true.; sent13 & assump1 -> int1: the romanticist is a kind of a Nicaraguan.; sent14 -> int2: the romanticist is not Nicaraguan.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bog is a Rush but it does not beat xylose.; int4 -> int5: that there exists something such that it is a Rush and it does not beat xylose hold.; int5 & sent4 -> hypothesis;
the hobbyhorse is not a reader.
sent20 -> int6: if the romanticist is not nonhierarchical it is sonic.; sent2 -> int7: the porcupines is hierarchical and it is a Hypericum if that it is not a pathway is true.; sent10 -> int8: the nonagenarian is not a pathway if the fact that it is a kind of a pathway and it does snuffle hourglass is not true.; sent17 -> int9: that the nonagenarian is a kind of a pathway and it does snuffle hourglass does not hold.; int8 & int9 -> int10: the nonagenarian is not a pathway.; int10 -> int11: everything is not a pathway.; int11 -> int12: the porcupines is not a pathway.; int7 & int12 -> int13: the porcupines is hierarchical and it is a Hypericum.; int13 -> int14: everything is a kind of hierarchical thing that is a Hypericum.; int14 -> int15: the romanticist is hierarchical a Hypericum.; int15 -> int16: the romanticist is hierarchical.; int6 & int16 -> int17: the romanticist is sonic.; int17 -> int18: something is sonic.; sent9 & int18 -> int19: the fact that the bog is Nicaraguan is correct.; sent15 -> int20: the bog enjoys DNA.; sent19 -> int21: the bog is a reader if it enjoys DNA.; int20 & int21 -> int22: the fact that the bog is a reader is not false.; int19 & int22 -> int23: the bog is a reader and is Nicaraguan.;
$hypothesis$ = the fact that the hobbyhorse is not a reader is not incorrect. ; $context$ = sent1: the fact that there exists something such that that it is not a Nicaraguan is correct is correct. sent2: something is hierarchical and a Hypericum if it is not a pathway. sent3: the bog is sonic. sent4: the hobbyhorse is a reader if there exists something such that the fact that it is a kind of a Rush and it does not beat xylose is not wrong. sent5: the fact that the bog is a Rush is not wrong. sent6: something is not a reader. sent7: the fact that the romanticist is a reader that is not a Nicaraguan is not correct. sent8: the hobbyhorse is sonic. sent9: the bog is a Nicaraguan if there exists something such that it is sonic. sent10: if the fact that something is a pathway that snuffles hourglass does not hold it is not a kind of a pathway. sent11: if a Rush is not a Nicaraguan then the romanticist does beat xylose. sent12: there exists something such that that it is not extroversive hold. sent13: the romanticist is a kind of a Nicaraguan if that the bog is a kind of a Rush but it does not beat xylose does not hold. sent14: the romanticist is not non-sonic but it is not a Nicaraguan. sent15: the bog enjoys DNA and it is dizygotic. sent16: the romanticist is sonic. sent17: there is nothing such that it is a pathway and it snuffles hourglass. sent18: the bog is a reader if something that is a kind of a Rush is not sonic. sent19: something is a reader if that it does enjoy DNA hold. sent20: if something is hierarchical then it is sonic. sent21: the romanticist is a Rush. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bog is a Rush and does not beat xylose is not true.; sent13 & assump1 -> int1: the romanticist is a kind of a Nicaraguan.; sent14 -> int2: the romanticist is not Nicaraguan.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the bog is a Rush but it does not beat xylose.; int4 -> int5: that there exists something such that it is a Rush and it does not beat xylose hold.; int5 & sent4 -> hypothesis; __DISPROVED__