the sculptor does emblazon airdock and it is a craniology.
sent1: the sculptor is a processional. sent2: the fact that something emblazons airdock and it is a craniology does not hold if it is not a processional. sent3: something emblazons airdock and it is a processional if it is not a craniology. sent4: if that something does not revenge Borodino and/or it is a radio does not hold then it is not a Nauruan. sent5: the boards is not a deco and it does not settle caliche if it is a kind of a bevy. sent6: the sculptor is not non-motional. sent7: the bestiality is motional. sent8: if the sculptor radios it is motional but not Nauruan. sent9: the sculptor is not a kind of a processional if the fact that the panderer is either not non-motional or processional or both is not right. sent10: if the sculptor is motional then that it is a craniology hold. sent11: the fact that something is either motional or not a processional or both is wrong if it is not Nauruan. sent12: the sticktight revenges Borodino. sent13: if the sculptor is a Gainesville then it is voltaic. sent14: the sculptor is a processional that does emblazon airdock. sent15: the panderer is not Nauruan if the boards is not Nauruan. sent16: if the fact that something does not settle caliche is correct then that it either does not revenge Borodino or is not non-radio or both is incorrect.
sent14 -> int1: the sculptor emblazons airdock.; sent10 & sent6 -> int2: the sculptor is a craniology.; int1 & int2 -> hypothesis;
the crisscross emblazons airdock.
sent3 -> int3: if the crisscross is not a craniology then it emblazons airdock and is a kind of a processional.;
$hypothesis$ = the sculptor does emblazon airdock and it is a craniology. ; $context$ = sent1: the sculptor is a processional. sent2: the fact that something emblazons airdock and it is a craniology does not hold if it is not a processional. sent3: something emblazons airdock and it is a processional if it is not a craniology. sent4: if that something does not revenge Borodino and/or it is a radio does not hold then it is not a Nauruan. sent5: the boards is not a deco and it does not settle caliche if it is a kind of a bevy. sent6: the sculptor is not non-motional. sent7: the bestiality is motional. sent8: if the sculptor radios it is motional but not Nauruan. sent9: the sculptor is not a kind of a processional if the fact that the panderer is either not non-motional or processional or both is not right. sent10: if the sculptor is motional then that it is a craniology hold. sent11: the fact that something is either motional or not a processional or both is wrong if it is not Nauruan. sent12: the sticktight revenges Borodino. sent13: if the sculptor is a Gainesville then it is voltaic. sent14: the sculptor is a processional that does emblazon airdock. sent15: the panderer is not Nauruan if the boards is not Nauruan. sent16: if the fact that something does not settle caliche is correct then that it either does not revenge Borodino or is not non-radio or both is incorrect. ; $proof$ = 
sent14 -> int1: the sculptor emblazons airdock.; sent10 & sent6 -> int2: the sculptor is a craniology.; int1 & int2 -> hypothesis; __PROVED__