the fact that the fact that something is not an adolescent hold does not hold.
sent1: if the Donatist is a dislodgment it is not ammoniac. sent2: if there is something such that the fact that it is not a Delichon and it is Olympics does not hold then the Africander is not Olympics. sent3: that if there is something such that that it answers katharobe hold the fishplate is geographic thing that is an adolescent is true. sent4: the Donatist is not a kind of a Buck if it is a one-hundredth and/or it is megakaryocytic. sent5: the tinsel is not a kind of a one-hundredth if it is a viscose. sent6: something answers katharobe and/or it does not alliterate if it is non-Olympics. sent7: the hemolysin is a one-hundredth if the Donatist is not a one-hundredth. sent8: something is not a one-hundredth if that it is megakaryocytic and it is not a Buck does not hold. sent9: the Donatist is not adolescent if it is not megakaryocytic. sent10: that the Donatist is a Buck hold. sent11: that the katharobe is both not a Delichon and Olympics does not hold. sent12: if something does answer katharobe and/or it does not alliterate then it answer katharobe.
void -> assump1: Let's assume that the Donatist is megakaryocytic.; assump1 -> int1: the Donatist is a one-hundredth and/or is megakaryocytic.; int1 & sent4 -> int2: that the Donatist is not a Buck is correct.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Donatist is not megakaryocytic.; int4 & sent9 -> int5: the fact that the Donatist is not a kind of an adolescent hold.; int5 -> hypothesis;
the hemolysin is a one-hundredth.
sent8 -> int6: the Donatist is not a one-hundredth if that it is megakaryocytic thing that is not a Buck is not true.; sent12 -> int7: if the Africander answers katharobe and/or it does not alliterate it answers katharobe.; sent6 -> int8: that the Africander answers katharobe and/or it does not alliterate if the Africander is not Olympics is right.; sent11 -> int9: there is something such that that it is not a kind of a Delichon and it is Olympics is not right.; int9 & sent2 -> int10: the Africander is not Olympics.; int8 & int10 -> int11: the Africander does answer katharobe and/or it does not alliterate.; int7 & int11 -> int12: the Africander does answer katharobe.; int12 -> int13: there exists something such that the fact that it answers katharobe hold.; int13 & sent3 -> int14: the fishplate is a kind of geographic thing that is not non-adolescent.; int14 -> int15: that the fishplate is an adolescent is right.;
$hypothesis$ = the fact that the fact that something is not an adolescent hold does not hold. ; $context$ = sent1: if the Donatist is a dislodgment it is not ammoniac. sent2: if there is something such that the fact that it is not a Delichon and it is Olympics does not hold then the Africander is not Olympics. sent3: that if there is something such that that it answers katharobe hold the fishplate is geographic thing that is an adolescent is true. sent4: the Donatist is not a kind of a Buck if it is a one-hundredth and/or it is megakaryocytic. sent5: the tinsel is not a kind of a one-hundredth if it is a viscose. sent6: something answers katharobe and/or it does not alliterate if it is non-Olympics. sent7: the hemolysin is a one-hundredth if the Donatist is not a one-hundredth. sent8: something is not a one-hundredth if that it is megakaryocytic and it is not a Buck does not hold. sent9: the Donatist is not adolescent if it is not megakaryocytic. sent10: that the Donatist is a Buck hold. sent11: that the katharobe is both not a Delichon and Olympics does not hold. sent12: if something does answer katharobe and/or it does not alliterate then it answer katharobe. ; $proof$ = 
void -> assump1: Let's assume that the Donatist is megakaryocytic.; assump1 -> int1: the Donatist is a one-hundredth and/or is megakaryocytic.; int1 & sent4 -> int2: that the Donatist is not a Buck is correct.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Donatist is not megakaryocytic.; int4 & sent9 -> int5: the fact that the Donatist is not a kind of an adolescent hold.; int5 -> hypothesis; __DISPROVED__