that the harlequin chances disturbance is true.
sent1: the scup is maxillomandibular if the fascista does not demineralize stinger and is a Aotus. sent2: everything is a kind of indefinite thing that is a hertz. sent3: the fact that the corporation does not demineralize stinger or it chances emasculation or both hold. sent4: if there is something such that it is indefinite and maxillomandibular the mailbag is not tympanitic. sent5: the scup does demineralize rivet. sent6: something does not demineralize stinger if it is not a magistracy. sent7: either the harlequin does not demineralize rivet or it does not demineralize longan or both if the mailbag is not tympanitic. sent8: if the harlequin does not demineralize stinger then the scup is not a hertz and/or does not chance disturbance. sent9: if the mailbag does not demineralize stinger the scup is a magistracy and it is a kind of a Aotus. sent10: something does not demineralize stinger and is a Aotus if it is not a magistracy. sent11: the mailbag does not demineralize stinger if something is both maxillomandibular and not indefinite. sent12: there is something such that it is tympanitic. sent13: the fascista is not a kind of a magistracy and does demineralize primacy. sent14: if the harlequin does not demineralize rivet and/or it does not demineralize longan then it chances disturbance. sent15: if the scup is not a Aotus and does demineralize rivet the fascista is indefinite. sent16: the scup is a Aotus that does not demineralize stinger if the mailbag is not maxillomandibular.
sent13 -> int1: the fact that the fascista is not a magistracy is not wrong.; sent10 -> int2: that the fascista does not demineralize stinger and is a Aotus is right if it is not a magistracy.; int1 & int2 -> int3: the fascista does not demineralize stinger but it is a Aotus.; int3 & sent1 -> int4: the scup is maxillomandibular.; sent2 -> int5: the scup is indefinite and it is a hertz.; int5 -> int6: the scup is indefinite.; int4 & int6 -> int7: the scup is indefinite and maxillomandibular.; int7 -> int8: something is indefinite and is maxillomandibular.; int8 & sent4 -> int9: the mailbag is not tympanitic.; int9 & sent7 -> int10: the harlequin either does not demineralize rivet or does not demineralize longan or both.; int10 & sent14 -> hypothesis;
the harlequin does not chance disturbance.
$hypothesis$ = that the harlequin chances disturbance is true. ; $context$ = sent1: the scup is maxillomandibular if the fascista does not demineralize stinger and is a Aotus. sent2: everything is a kind of indefinite thing that is a hertz. sent3: the fact that the corporation does not demineralize stinger or it chances emasculation or both hold. sent4: if there is something such that it is indefinite and maxillomandibular the mailbag is not tympanitic. sent5: the scup does demineralize rivet. sent6: something does not demineralize stinger if it is not a magistracy. sent7: either the harlequin does not demineralize rivet or it does not demineralize longan or both if the mailbag is not tympanitic. sent8: if the harlequin does not demineralize stinger then the scup is not a hertz and/or does not chance disturbance. sent9: if the mailbag does not demineralize stinger the scup is a magistracy and it is a kind of a Aotus. sent10: something does not demineralize stinger and is a Aotus if it is not a magistracy. sent11: the mailbag does not demineralize stinger if something is both maxillomandibular and not indefinite. sent12: there is something such that it is tympanitic. sent13: the fascista is not a kind of a magistracy and does demineralize primacy. sent14: if the harlequin does not demineralize rivet and/or it does not demineralize longan then it chances disturbance. sent15: if the scup is not a Aotus and does demineralize rivet the fascista is indefinite. sent16: the scup is a Aotus that does not demineralize stinger if the mailbag is not maxillomandibular. ; $proof$ = 
sent13 -> int1: the fact that the fascista is not a magistracy is not wrong.; sent10 -> int2: that the fascista does not demineralize stinger and is a Aotus is right if it is not a magistracy.; int1 & int2 -> int3: the fascista does not demineralize stinger but it is a Aotus.; int3 & sent1 -> int4: the scup is maxillomandibular.; sent2 -> int5: the scup is indefinite and it is a hertz.; int5 -> int6: the scup is indefinite.; int4 & int6 -> int7: the scup is indefinite and maxillomandibular.; int7 -> int8: something is indefinite and is maxillomandibular.; int8 & sent4 -> int9: the mailbag is not tympanitic.; int9 & sent7 -> int10: the harlequin either does not demineralize rivet or does not demineralize longan or both.; int10 & sent14 -> hypothesis; __PROVED__