the trellis dissents trellis.
sent1: the fact that the silene mows and is not uncooperative does not hold. sent2: something is an electroshock if the fact that it is a kind of a dynamics hold. sent3: something does dissent mountebank if it is not uncooperative. sent4: there exists nothing such that it is uncooperative but not an anthropomorphism. sent5: the gawker is sisterly but it does not dissent mountebank if that the tarmacadam is an electroshock is not wrong. sent6: the fact that the coydog is uncooperative and does not dissent trellis is not right. sent7: the trellis does not dissent trellis if the gawker is sisterly thing that does not dissent mountebank. sent8: if that something is uncooperative but it is not an anthropomorphism is incorrect then it does dissent mountebank. sent9: if the coydog is not uncooperative it does dissent mountebank. sent10: the trellis dissents mountebank. sent11: if the coydog dissents mountebank the trellis does dissent trellis.
sent8 -> int1: if that the coydog is uncooperative but it is not a kind of an anthropomorphism is false then it does dissent mountebank.; sent4 -> int2: that the coydog is uncooperative thing that is not an anthropomorphism is not correct.; int1 & int2 -> int3: the coydog does dissent mountebank.; int3 & sent11 -> hypothesis;
the trellis does not dissent trellis.
sent2 -> int4: the tarmacadam is a kind of an electroshock if it is a kind of a dynamics.;
$hypothesis$ = the trellis dissents trellis. ; $context$ = sent1: the fact that the silene mows and is not uncooperative does not hold. sent2: something is an electroshock if the fact that it is a kind of a dynamics hold. sent3: something does dissent mountebank if it is not uncooperative. sent4: there exists nothing such that it is uncooperative but not an anthropomorphism. sent5: the gawker is sisterly but it does not dissent mountebank if that the tarmacadam is an electroshock is not wrong. sent6: the fact that the coydog is uncooperative and does not dissent trellis is not right. sent7: the trellis does not dissent trellis if the gawker is sisterly thing that does not dissent mountebank. sent8: if that something is uncooperative but it is not an anthropomorphism is incorrect then it does dissent mountebank. sent9: if the coydog is not uncooperative it does dissent mountebank. sent10: the trellis dissents mountebank. sent11: if the coydog dissents mountebank the trellis does dissent trellis. ; $proof$ = 
sent8 -> int1: if that the coydog is uncooperative but it is not a kind of an anthropomorphism is false then it does dissent mountebank.; sent4 -> int2: that the coydog is uncooperative thing that is not an anthropomorphism is not correct.; int1 & int2 -> int3: the coydog does dissent mountebank.; int3 & sent11 -> hypothesis; __PROVED__