the tachometer is a dovetail.
sent1: the loft glazes harlequin-snake if there is something such that it is insectivorous and/or it glazes pyrope. sent2: if that something does not glaze harlequin-snake and is insectivorous is wrong it is not insectivorous. sent3: the solder is amnestic and it does glaze pyrope. sent4: the solder is amnestic and it is expansive. sent5: if something glazes harlequin-snake and is a kind of a abasement then the tachometer is a dovetail. sent6: the fact that there exists something such that it does glaze harlequin-snake hold. sent7: the wake dovetails if either something realigns or it is expansive or both. sent8: there is something such that it is not unscientific. sent9: if the wake is expansive then the buckskin does realign and is not unscientific. sent10: the buckskin is not unscientific. sent11: the fact that something is a kind of a abasement is not incorrect. sent12: if something that realigns is not unscientific then the loft is a abasement. sent13: the wake is expansive. sent14: the loft glazes harlequin-snake if there is something such that it is insectivorous. sent15: that something does not dovetail is not incorrect if it is amnestic and does not glaze pyrope. sent16: if the wake is expansive then the buckskin is not unscientific. sent17: that the solder is amnestic hold. sent18: if something that realigns is unscientific the loft is a abasement.
sent3 -> int1: the solder glazes pyrope.; int1 -> int2: the solder is insectivorous and/or it does glaze pyrope.; int2 -> int3: there exists something such that it is insectivorous or it glazes pyrope or both.; int3 & sent1 -> int4: the loft does glaze harlequin-snake.; sent9 & sent13 -> int5: the buckskin realigns and is not unscientific.; int5 -> int6: there is something such that it realigns and is not unscientific.; int6 & sent12 -> int7: the loft is a abasement.; int4 & int7 -> int8: the loft does glaze harlequin-snake and is a abasement.; int8 -> int9: the fact that something glazes harlequin-snake and is a abasement is true.; int9 & sent5 -> hypothesis;
the tachometer does not dovetail.
sent15 -> int10: if the tachometer is amnestic but it does not glaze pyrope then it is not a dovetail.; sent2 -> int11: if the fact that the tachometer does not glaze harlequin-snake but it is insectivorous is not true it is not insectivorous.;
$hypothesis$ = the tachometer is a dovetail. ; $context$ = sent1: the loft glazes harlequin-snake if there is something such that it is insectivorous and/or it glazes pyrope. sent2: if that something does not glaze harlequin-snake and is insectivorous is wrong it is not insectivorous. sent3: the solder is amnestic and it does glaze pyrope. sent4: the solder is amnestic and it is expansive. sent5: if something glazes harlequin-snake and is a kind of a abasement then the tachometer is a dovetail. sent6: the fact that there exists something such that it does glaze harlequin-snake hold. sent7: the wake dovetails if either something realigns or it is expansive or both. sent8: there is something such that it is not unscientific. sent9: if the wake is expansive then the buckskin does realign and is not unscientific. sent10: the buckskin is not unscientific. sent11: the fact that something is a kind of a abasement is not incorrect. sent12: if something that realigns is not unscientific then the loft is a abasement. sent13: the wake is expansive. sent14: the loft glazes harlequin-snake if there is something such that it is insectivorous. sent15: that something does not dovetail is not incorrect if it is amnestic and does not glaze pyrope. sent16: if the wake is expansive then the buckskin is not unscientific. sent17: that the solder is amnestic hold. sent18: if something that realigns is unscientific the loft is a abasement. ; $proof$ = 
sent3 -> int1: the solder glazes pyrope.; int1 -> int2: the solder is insectivorous and/or it does glaze pyrope.; int2 -> int3: there exists something such that it is insectivorous or it glazes pyrope or both.; int3 & sent1 -> int4: the loft does glaze harlequin-snake.; sent9 & sent13 -> int5: the buckskin realigns and is not unscientific.; int5 -> int6: there is something such that it realigns and is not unscientific.; int6 & sent12 -> int7: the loft is a abasement.; int4 & int7 -> int8: the loft does glaze harlequin-snake and is a abasement.; int8 -> int9: the fact that something glazes harlequin-snake and is a abasement is true.; int9 & sent5 -> hypothesis; __PROVED__