the fact that the mortgagee is a dastardliness is not wrong.
sent1: the mortgagee is a dastardliness if the fact that the orbit is a scaling that is not Chian is false. sent2: if the fact that the meteorite is not unpardonable but chaetognathan does not hold then that the exodontist does not wire vitiation hold. sent3: if something is not a addle-head the fact that the orbit is a scaling but it is not Chian is not correct. sent4: the monarch is not a kind of a addle-head if the exodontist is a kind of an atheist but it does not wire vitiation. sent5: the exodontist is both subcortical and atheist. sent6: the fact that the meteorite is not unpardonable and is chaetognathan is not right.
sent2 & sent6 -> int1: the exodontist does not wire vitiation.; sent5 -> int2: the exodontist is a kind of an atheist.; int1 & int2 -> int3: the exodontist is atheist but it does not wire vitiation.; int3 & sent4 -> int4: the monarch is not a addle-head.; int4 -> int5: there exists something such that it is not a kind of a addle-head.; int5 & sent3 -> int6: the fact that the orbit is a kind of a scaling and is not Chian is not right.; int6 & sent1 -> hypothesis;
$hypothesis$ = the fact that the mortgagee is a dastardliness is not wrong. ; $context$ = sent1: the mortgagee is a dastardliness if the fact that the orbit is a scaling that is not Chian is false. sent2: if the fact that the meteorite is not unpardonable but chaetognathan does not hold then that the exodontist does not wire vitiation hold. sent3: if something is not a addle-head the fact that the orbit is a scaling but it is not Chian is not correct. sent4: the monarch is not a kind of a addle-head if the exodontist is a kind of an atheist but it does not wire vitiation. sent5: the exodontist is both subcortical and atheist. sent6: the fact that the meteorite is not unpardonable and is chaetognathan is not right. ; $proof$ = 
sent2 & sent6 -> int1: the exodontist does not wire vitiation.; sent5 -> int2: the exodontist is a kind of an atheist.; int1 & int2 -> int3: the exodontist is atheist but it does not wire vitiation.; int3 & sent4 -> int4: the monarch is not a addle-head.; int4 -> int5: there exists something such that it is not a kind of a addle-head.; int5 & sent3 -> int6: the fact that the orbit is a kind of a scaling and is not Chian is not right.; int6 & sent1 -> hypothesis; __PROVED__