the blackbeetle does not overpower subdivider.
sent1: the retinene is a dyslexia and it is near. sent2: something is amaranthine if it is not chitinous. sent3: the anticatalyst is not non-amaranthine if it is not chitinous. sent4: if there exists something such that that it is a kind of an interstate and it is exoteric is false the anticatalyst is not chitinous. sent5: if there exists something such that it is a dyslexia that is near then the blackbeetle is not a conflict. sent6: the anticatalyst is amaranthine or a Mayflower or both. sent7: the fact that the oka is an interstate and it is exoteric is false. sent8: that something is not essential or is a precedented or both does not hold if it is not a ceramic. sent9: the oka is amaranthine. sent10: the fact that the fact that either something is not amaranthine or it is a Mayflower or both is right is wrong if it is not chitinous. sent11: something is not near but it is a dyslexia if it is not a conflict. sent12: the anticatalyst is a Mayflower if something that does not conflict does not overpower subdivider.
sent1 -> int1: there is something such that it is a dyslexia that is near.; int1 & sent5 -> int2: the blackbeetle does not conflict.; void -> assump1: Let's assume that the blackbeetle does not overpower subdivider.; int2 & assump1 -> int3: the blackbeetle does not conflict and does not overpower subdivider.; int3 -> int4: there exists something such that it is not a conflict and it does not overpower subdivider.; int4 & sent12 -> int5: the anticatalyst is a Mayflower.; int5 -> int6: either the anticatalyst is non-amaranthine or it is a Mayflower or both.; sent10 -> int7: if the anticatalyst is not chitinous then that it is not amaranthine and/or it is a Mayflower is false.; sent7 -> int8: there exists something such that that it is interstate and it is exoteric does not hold.; int8 & sent4 -> int9: the anticatalyst is not chitinous.; int7 & int9 -> int10: the fact that the anticatalyst is not amaranthine or a Mayflower or both does not hold.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
the blackbeetle does not overpower subdivider.
sent11 -> int12: the anticatalyst is not near but it is a dyslexia if it does not conflict.;
$hypothesis$ = the blackbeetle does not overpower subdivider. ; $context$ = sent1: the retinene is a dyslexia and it is near. sent2: something is amaranthine if it is not chitinous. sent3: the anticatalyst is not non-amaranthine if it is not chitinous. sent4: if there exists something such that that it is a kind of an interstate and it is exoteric is false the anticatalyst is not chitinous. sent5: if there exists something such that it is a dyslexia that is near then the blackbeetle is not a conflict. sent6: the anticatalyst is amaranthine or a Mayflower or both. sent7: the fact that the oka is an interstate and it is exoteric is false. sent8: that something is not essential or is a precedented or both does not hold if it is not a ceramic. sent9: the oka is amaranthine. sent10: the fact that the fact that either something is not amaranthine or it is a Mayflower or both is right is wrong if it is not chitinous. sent11: something is not near but it is a dyslexia if it is not a conflict. sent12: the anticatalyst is a Mayflower if something that does not conflict does not overpower subdivider. ; $proof$ = 
sent1 -> int1: there is something such that it is a dyslexia that is near.; int1 & sent5 -> int2: the blackbeetle does not conflict.; void -> assump1: Let's assume that the blackbeetle does not overpower subdivider.; int2 & assump1 -> int3: the blackbeetle does not conflict and does not overpower subdivider.; int3 -> int4: there exists something such that it is not a conflict and it does not overpower subdivider.; int4 & sent12 -> int5: the anticatalyst is a Mayflower.; int5 -> int6: either the anticatalyst is non-amaranthine or it is a Mayflower or both.; sent10 -> int7: if the anticatalyst is not chitinous then that it is not amaranthine and/or it is a Mayflower is false.; sent7 -> int8: there exists something such that that it is interstate and it is exoteric does not hold.; int8 & sent4 -> int9: the anticatalyst is not chitinous.; int7 & int9 -> int10: the fact that the anticatalyst is not amaranthine or a Mayflower or both does not hold.; int6 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__