the pitchstone is a kind of a Maltese.
sent1: if the fact that the half-length is a kind of a Maltese but it is not a kind of an infidelity is correct then the pitchstone is not a Maltese. sent2: the half-length damps Hordeum if the birdlime is nomothetic. sent3: there exists something such that it is environmental and it is an infidelity. sent4: the stockinet damps Hordeum and is a kind of a Philippine. sent5: the half-length is an infidelity. sent6: the fact that the polygamist crows geneva and it is environmental is wrong. sent7: if the stockinet crows geneva then the pitchstone is a Maltese. sent8: there is something such that that it does crow cockfight and it is environmental does not hold. sent9: if something that is nomothetic is not environmental then the birdlime damps Hordeum. sent10: the stockinet does crow geneva if the birdlime is a kind of a Philippine. sent11: the birdlime does not crow geneva. sent12: the birdlime is non-nomothetic if something that does damp Hordeum is not environmental. sent13: the half-length is not environmental if the fact that there exists something such that the fact that it does crow cockfight and it is environmental does not hold is right. sent14: that something is a Philippine is true if it damps Hordeum. sent15: the half-length is nomothetic and it is a kind of an infidelity.
sent15 -> int1: the half-length is nomothetic.; sent8 & sent13 -> int2: the half-length is not environmental.; int1 & int2 -> int3: the half-length is nomothetic but it is non-environmental.; int3 -> int4: there exists something such that it is nomothetic and it is not environmental.; int4 & sent9 -> int5: the birdlime damps Hordeum.; sent14 -> int6: the birdlime is a kind of a Philippine if it does damp Hordeum.; int5 & int6 -> int7: the birdlime is a Philippine.; int7 & sent10 -> int8: the stockinet does crow geneva.; int8 & sent7 -> hypothesis;
the pitchstone is not Maltese.
sent4 -> int9: the stockinet does damp Hordeum.; sent6 -> int10: there exists something such that that it crows geneva and it is environmental is incorrect.;
$hypothesis$ = the pitchstone is a kind of a Maltese. ; $context$ = sent1: if the fact that the half-length is a kind of a Maltese but it is not a kind of an infidelity is correct then the pitchstone is not a Maltese. sent2: the half-length damps Hordeum if the birdlime is nomothetic. sent3: there exists something such that it is environmental and it is an infidelity. sent4: the stockinet damps Hordeum and is a kind of a Philippine. sent5: the half-length is an infidelity. sent6: the fact that the polygamist crows geneva and it is environmental is wrong. sent7: if the stockinet crows geneva then the pitchstone is a Maltese. sent8: there is something such that that it does crow cockfight and it is environmental does not hold. sent9: if something that is nomothetic is not environmental then the birdlime damps Hordeum. sent10: the stockinet does crow geneva if the birdlime is a kind of a Philippine. sent11: the birdlime does not crow geneva. sent12: the birdlime is non-nomothetic if something that does damp Hordeum is not environmental. sent13: the half-length is not environmental if the fact that there exists something such that the fact that it does crow cockfight and it is environmental does not hold is right. sent14: that something is a Philippine is true if it damps Hordeum. sent15: the half-length is nomothetic and it is a kind of an infidelity. ; $proof$ = 
sent15 -> int1: the half-length is nomothetic.; sent8 & sent13 -> int2: the half-length is not environmental.; int1 & int2 -> int3: the half-length is nomothetic but it is non-environmental.; int3 -> int4: there exists something such that it is nomothetic and it is not environmental.; int4 & sent9 -> int5: the birdlime damps Hordeum.; sent14 -> int6: the birdlime is a kind of a Philippine if it does damp Hordeum.; int5 & int6 -> int7: the birdlime is a Philippine.; int7 & sent10 -> int8: the stockinet does crow geneva.; int8 & sent7 -> hypothesis; __PROVED__