that the staurikosaur is catachrestic and does curb maintenance does not hold.
sent1: if that the coatee is a kind of a ball-buster that does curb maintenance is not correct then the casing does not curb maintenance. sent2: something is streptococcal if it is a kind of a ball-buster. sent3: the coatee does arrive triumvirate. sent4: if the fact that the coatee is inexpressible and is non-catachrestic is wrong it is streptococcal. sent5: the fact that the staurikosaur stubs assonance and is not an outboard is incorrect. sent6: The triumvirate does arrive coatee. sent7: the staurikosaur is a ball-buster if the casing is loose. sent8: the rink is not non-outboard if the casing is a non-outboard. sent9: the fact that something is a ball-buster that curbs maintenance is not correct if it is not loose. sent10: something is a ball-buster if it is not non-streptococcal. sent11: the fact that the staurikosaur does stub assonance and it is an outboard is not true. sent12: the coatee is a chancellor if the casing is non-loose. sent13: if the casing is not loose that the coatee is not a chancellor or it arrives triumvirate or both does not hold. sent14: if the staurikosaur is streptococcal it is inexpressible. sent15: if the fact that something does stub assonance but it is non-outboard does not hold then it does curb maintenance. sent16: the staurikosaur is catachrestic if it is inexpressible.
void -> assump1: Let's assume that the casing is not loose.; sent13 & assump1 -> int1: the fact that the coatee is not a kind of a chancellor and/or does arrive triumvirate is wrong.; sent3 -> int2: the coatee is not a chancellor or it arrives triumvirate or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the casing is loose.; int4 & sent7 -> int5: the staurikosaur is a kind of a ball-buster.; sent2 -> int6: if the staurikosaur is a ball-buster then it is streptococcal.; int5 & int6 -> int7: the staurikosaur is streptococcal.; int7 & sent14 -> int8: the staurikosaur is inexpressible.; int8 & sent16 -> int9: the staurikosaur is catachrestic.; sent15 -> int10: the staurikosaur does curb maintenance if that it stubs assonance and is not an outboard is not right.; int10 & sent5 -> int11: the staurikosaur does curb maintenance.; int9 & int11 -> hypothesis;
that the staurikosaur is catachrestic and it curbs maintenance is false.
sent9 -> int12: if the coatee is not loose then that it is a ball-buster and it curbs maintenance does not hold.;
$hypothesis$ = that the staurikosaur is catachrestic and does curb maintenance does not hold. ; $context$ = sent1: if that the coatee is a kind of a ball-buster that does curb maintenance is not correct then the casing does not curb maintenance. sent2: something is streptococcal if it is a kind of a ball-buster. sent3: the coatee does arrive triumvirate. sent4: if the fact that the coatee is inexpressible and is non-catachrestic is wrong it is streptococcal. sent5: the fact that the staurikosaur stubs assonance and is not an outboard is incorrect. sent6: The triumvirate does arrive coatee. sent7: the staurikosaur is a ball-buster if the casing is loose. sent8: the rink is not non-outboard if the casing is a non-outboard. sent9: the fact that something is a ball-buster that curbs maintenance is not correct if it is not loose. sent10: something is a ball-buster if it is not non-streptococcal. sent11: the fact that the staurikosaur does stub assonance and it is an outboard is not true. sent12: the coatee is a chancellor if the casing is non-loose. sent13: if the casing is not loose that the coatee is not a chancellor or it arrives triumvirate or both does not hold. sent14: if the staurikosaur is streptococcal it is inexpressible. sent15: if the fact that something does stub assonance but it is non-outboard does not hold then it does curb maintenance. sent16: the staurikosaur is catachrestic if it is inexpressible. ; $proof$ = 
void -> assump1: Let's assume that the casing is not loose.; sent13 & assump1 -> int1: the fact that the coatee is not a kind of a chancellor and/or does arrive triumvirate is wrong.; sent3 -> int2: the coatee is not a chancellor or it arrives triumvirate or both.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the casing is loose.; int4 & sent7 -> int5: the staurikosaur is a kind of a ball-buster.; sent2 -> int6: if the staurikosaur is a ball-buster then it is streptococcal.; int5 & int6 -> int7: the staurikosaur is streptococcal.; int7 & sent14 -> int8: the staurikosaur is inexpressible.; int8 & sent16 -> int9: the staurikosaur is catachrestic.; sent15 -> int10: the staurikosaur does curb maintenance if that it stubs assonance and is not an outboard is not right.; int10 & sent5 -> int11: the staurikosaur does curb maintenance.; int9 & int11 -> hypothesis; __DISPROVED__