the fact that the strawberry is not a kinkajou and/or is not a kind of a uniformed is not true.
sent1: the strawberry is not a kinkajou or is uniformed or both. sent2: if something does numb then the strawberry does scourge constitutionalism. sent3: the strawberry is syndetic or it is a boron or both. sent4: that the funambulist is not a bust and does not slog does not hold if it does not numb. sent5: if the bromoform is not a kind of a boron then either it is syndetic or it uniforms or both. sent6: the strawberry does scourge Mayaca if it is a boron. sent7: if the strawberry is syndetic then it scourges Mayaca. sent8: there is nothing such that it is not large-capitalization and it is not a Ponca. sent9: something that scourges constitutionalism and scourges Mayaca is not a kinkajou. sent10: if the Presbyterian does not uniform then the strawberry does not scourge constitutionalism and is not a kind of a kinkajou. sent11: the funambulist does not numb if the strawberry does not numb but it scourges Mayaca. sent12: if there exists something such that that it is not large-capitalization and it is not a Ponca is not true the funambulist does numb.
sent8 -> int1: the fact that the triplicate is a kind of non-large-capitalization thing that is not a kind of a Ponca is false.; int1 -> int2: there is something such that that it is not large-capitalization and it is not a Ponca does not hold.; int2 & sent12 -> int3: the funambulist does numb.; int3 -> int4: there is something such that it numbs.; int4 & sent2 -> int5: the strawberry does scourge constitutionalism.; sent3 & sent7 & sent6 -> int6: the strawberry scourges Mayaca.; int5 & int6 -> int7: the strawberry does scourge constitutionalism and it scourges Mayaca.; sent9 -> int8: the strawberry is not a kind of a kinkajou if it scourges constitutionalism and scourges Mayaca.; int7 & int8 -> int9: the strawberry is not a kinkajou.; int9 -> hypothesis;
there exists something such that the fact that it is not a bust and it does not slog does not hold.
$hypothesis$ = the fact that the strawberry is not a kinkajou and/or is not a kind of a uniformed is not true. ; $context$ = sent1: the strawberry is not a kinkajou or is uniformed or both. sent2: if something does numb then the strawberry does scourge constitutionalism. sent3: the strawberry is syndetic or it is a boron or both. sent4: that the funambulist is not a bust and does not slog does not hold if it does not numb. sent5: if the bromoform is not a kind of a boron then either it is syndetic or it uniforms or both. sent6: the strawberry does scourge Mayaca if it is a boron. sent7: if the strawberry is syndetic then it scourges Mayaca. sent8: there is nothing such that it is not large-capitalization and it is not a Ponca. sent9: something that scourges constitutionalism and scourges Mayaca is not a kinkajou. sent10: if the Presbyterian does not uniform then the strawberry does not scourge constitutionalism and is not a kind of a kinkajou. sent11: the funambulist does not numb if the strawberry does not numb but it scourges Mayaca. sent12: if there exists something such that that it is not large-capitalization and it is not a Ponca is not true the funambulist does numb. ; $proof$ = 
sent8 -> int1: the fact that the triplicate is a kind of non-large-capitalization thing that is not a kind of a Ponca is false.; int1 -> int2: there is something such that that it is not large-capitalization and it is not a Ponca does not hold.; int2 & sent12 -> int3: the funambulist does numb.; int3 -> int4: there is something such that it numbs.; int4 & sent2 -> int5: the strawberry does scourge constitutionalism.; sent3 & sent7 & sent6 -> int6: the strawberry scourges Mayaca.; int5 & int6 -> int7: the strawberry does scourge constitutionalism and it scourges Mayaca.; sent9 -> int8: the strawberry is not a kind of a kinkajou if it scourges constitutionalism and scourges Mayaca.; int7 & int8 -> int9: the strawberry is not a kinkajou.; int9 -> hypothesis; __DISPROVED__