the garnishee is coarse and it is phrasal.
sent1: the garnishee is not unreverberant and is coarse if there exists something such that that it does disown slander hold. sent2: the garnishee is both phrasal and connotative. sent3: something is unreverberant. sent4: something is coarse. sent5: the left is a perversity and is not non-connotative. sent6: the Bakelite is phrasal. sent7: the garnishee is both reverberant and connotative if there is something such that it is phrasal. sent8: the rockcress is connotative. sent9: the garnishee does disown ROTC. sent10: there is something such that that it disowns slander is true. sent11: there is something such that that it does reprise sovereign is not incorrect.
sent10 & sent1 -> int1: the garnishee is not unreverberant but it is coarse.; int1 -> int2: the garnishee is coarse.; sent2 -> int3: the garnishee is phrasal.; int2 & int3 -> hypothesis;
$hypothesis$ = the garnishee is coarse and it is phrasal. ; $context$ = sent1: the garnishee is not unreverberant and is coarse if there exists something such that that it does disown slander hold. sent2: the garnishee is both phrasal and connotative. sent3: something is unreverberant. sent4: something is coarse. sent5: the left is a perversity and is not non-connotative. sent6: the Bakelite is phrasal. sent7: the garnishee is both reverberant and connotative if there is something such that it is phrasal. sent8: the rockcress is connotative. sent9: the garnishee does disown ROTC. sent10: there is something such that that it disowns slander is true. sent11: there is something such that that it does reprise sovereign is not incorrect. ; $proof$ = 
sent10 & sent1 -> int1: the garnishee is not unreverberant but it is coarse.; int1 -> int2: the garnishee is coarse.; sent2 -> int3: the garnishee is phrasal.; int2 & int3 -> hypothesis; __PROVED__