the ancient resets Menander.
sent1: something does reset Menander if it does letter vocative. sent2: something fascinates and/or is not a guarantor if it is not a tangled. sent3: if something is a tangled it does reset overturned. sent4: the throne is a cirrus and not cauline. sent5: if there exists something such that it does not granulate and it resets Menander then the drupe does letter vocative. sent6: if something is not a guarantor then it is a tangled. sent7: if the drupe does letter vocative that it does not reset overturned and does not letter headshake is incorrect. sent8: if the Seaman does letter headshake then the wrapping fascinates. sent9: if something is a cirrus but it is not cauline the drupe is not a guarantor. sent10: the ancient letters vocative if the wrapping fascinates. sent11: the Seaman does reset Menander and is a kind of a mnemonic. sent12: if that the Seaman does granulate but it does not letter nightwork is not true it does not granulate. sent13: the fact that the Seaman granulates and does not letter nightwork does not hold.
sent4 -> int1: there is something such that it is a cirrus and it is not cauline.; int1 & sent9 -> int2: the drupe is not a guarantor.; sent6 -> int3: if the fact that the drupe is not a kind of a guarantor is right it is a tangled.; int2 & int3 -> int4: the drupe is a tangled.; sent3 -> int5: if the drupe is a tangled then it resets overturned.; int4 & int5 -> int6: the drupe resets overturned.; sent1 -> int7: that if the ancient letters vocative then the ancient does reset Menander hold.;
the Reverend fascinates.
sent2 -> int8: if the drupe is not a tangled it does fascinate or it is not a kind of a guarantor or both.; sent12 & sent13 -> int9: the Seaman does not granulate.; sent11 -> int10: the Seaman does reset Menander.; int9 & int10 -> int11: the Seaman does not granulate and does reset Menander.; int11 -> int12: there exists something such that it does not granulate and resets Menander.; int12 & sent5 -> int13: the drupe letters vocative.; sent7 & int13 -> int14: the fact that the drupe does not reset overturned and it does not letter headshake is false.;
$hypothesis$ = the ancient resets Menander. ; $context$ = sent1: something does reset Menander if it does letter vocative. sent2: something fascinates and/or is not a guarantor if it is not a tangled. sent3: if something is a tangled it does reset overturned. sent4: the throne is a cirrus and not cauline. sent5: if there exists something such that it does not granulate and it resets Menander then the drupe does letter vocative. sent6: if something is not a guarantor then it is a tangled. sent7: if the drupe does letter vocative that it does not reset overturned and does not letter headshake is incorrect. sent8: if the Seaman does letter headshake then the wrapping fascinates. sent9: if something is a cirrus but it is not cauline the drupe is not a guarantor. sent10: the ancient letters vocative if the wrapping fascinates. sent11: the Seaman does reset Menander and is a kind of a mnemonic. sent12: if that the Seaman does granulate but it does not letter nightwork is not true it does not granulate. sent13: the fact that the Seaman granulates and does not letter nightwork does not hold. ; $proof$ = 
sent4 -> int1: there is something such that it is a cirrus and it is not cauline.; int1 & sent9 -> int2: the drupe is not a guarantor.; sent6 -> int3: if the fact that the drupe is not a kind of a guarantor is right it is a tangled.; int2 & int3 -> int4: the drupe is a tangled.; sent3 -> int5: if the drupe is a tangled then it resets overturned.; int4 & int5 -> int6: the drupe resets overturned.; sent1 -> int7: that if the ancient letters vocative then the ancient does reset Menander hold.; __UNKNOWN__