the mattock is not geriatrics.
sent1: something does not potter but it is a directorate if it is not meteoric. sent2: if the mattock is not philological then it is dental. sent3: if that something is a monolingual and auspicious is incorrect then it is not a monolingual. sent4: there exists something such that that it is not dental is not false. sent5: that something does testify Lego and/or it is not a monolingual is not right if it is not a kind of a savarin. sent6: if the mattock is a monolingual then the bridle is a kind of a monolingual. sent7: if that the tragedian does not testify Lego is correct that it is a potter or is not monolingual or both is not true. sent8: the Mesoamerican is dental and it is not non-negligent if it is not a usufructuary. sent9: if the Mesoamerican does not testify Lego but it is monolingual the mattock is a monolingual. sent10: something is not geriatrics but it is a kind of a savarin. sent11: if something that is not geriatrics is a savarin then that the bridle is auspicious is not wrong. sent12: if there is something such that it is not dental the bridle does not testify Lego. sent13: something is not a kind of a monolingual if it is not a potter but a directorate. sent14: if the tragedian is not a kind of a monolingual then the bridle does testify Lego or is not a kind of a monolingual or both. sent15: the asteroid is not philological if the bridle is meteoric a monolingual. sent16: the bridle is not a kind of a savarin. sent17: something that is both auspicious and dental is not geriatrics. sent18: if the tragedian is meteoric then that the mattock is auspicious is correct.
sent1 -> int1: the tragedian does not potter but it is a kind of a directorate if it is not meteoric.; void -> assump1: Let's assume that the tragedian is not meteoric.; int1 & assump1 -> int2: the tragedian does not potter but it is a directorate.; sent13 -> int3: the tragedian is not a monolingual if it is not a potter but a directorate.; int2 & int3 -> int4: the tragedian is not a monolingual.; int4 & sent14 -> int5: that the bridle does testify Lego and/or is not a kind of a monolingual is not false.; sent5 -> int6: that the bridle testifies Lego and/or it is not a kind of a monolingual does not hold if it is not a savarin.; int6 & sent16 -> int7: that the bridle either does testify Lego or is not a monolingual or both is wrong.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the tragedian is meteoric.; int9 & sent18 -> int10: the mattock is auspicious.; sent17 -> int11: if the mattock is auspicious and it is dental then it is not geriatrics.;
the asteroid is not philological.
sent10 & sent11 -> int12: the bridle is auspicious.;
$hypothesis$ = the mattock is not geriatrics. ; $context$ = sent1: something does not potter but it is a directorate if it is not meteoric. sent2: if the mattock is not philological then it is dental. sent3: if that something is a monolingual and auspicious is incorrect then it is not a monolingual. sent4: there exists something such that that it is not dental is not false. sent5: that something does testify Lego and/or it is not a monolingual is not right if it is not a kind of a savarin. sent6: if the mattock is a monolingual then the bridle is a kind of a monolingual. sent7: if that the tragedian does not testify Lego is correct that it is a potter or is not monolingual or both is not true. sent8: the Mesoamerican is dental and it is not non-negligent if it is not a usufructuary. sent9: if the Mesoamerican does not testify Lego but it is monolingual the mattock is a monolingual. sent10: something is not geriatrics but it is a kind of a savarin. sent11: if something that is not geriatrics is a savarin then that the bridle is auspicious is not wrong. sent12: if there is something such that it is not dental the bridle does not testify Lego. sent13: something is not a kind of a monolingual if it is not a potter but a directorate. sent14: if the tragedian is not a kind of a monolingual then the bridle does testify Lego or is not a kind of a monolingual or both. sent15: the asteroid is not philological if the bridle is meteoric a monolingual. sent16: the bridle is not a kind of a savarin. sent17: something that is both auspicious and dental is not geriatrics. sent18: if the tragedian is meteoric then that the mattock is auspicious is correct. ; $proof$ = 
sent1 -> int1: the tragedian does not potter but it is a kind of a directorate if it is not meteoric.; void -> assump1: Let's assume that the tragedian is not meteoric.; int1 & assump1 -> int2: the tragedian does not potter but it is a directorate.; sent13 -> int3: the tragedian is not a monolingual if it is not a potter but a directorate.; int2 & int3 -> int4: the tragedian is not a monolingual.; int4 & sent14 -> int5: that the bridle does testify Lego and/or is not a kind of a monolingual is not false.; sent5 -> int6: that the bridle testifies Lego and/or it is not a kind of a monolingual does not hold if it is not a savarin.; int6 & sent16 -> int7: that the bridle either does testify Lego or is not a monolingual or both is wrong.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the tragedian is meteoric.; int9 & sent18 -> int10: the mattock is auspicious.; sent17 -> int11: if the mattock is auspicious and it is dental then it is not geriatrics.; __UNKNOWN__