the mortgagor is a Davy.
sent1: the ghat is both incongruous and not a pairing. sent2: if something does not pair it is a Davy. sent3: the excuse is a Davy. sent4: if something is not consubstantial it pairs. sent5: if something is not a kind of a Davy then it is consubstantial. sent6: something is a Davy if it is not consubstantial. sent7: the fact that the mortgagor is bathyal hold. sent8: if the mortgagor is not a tonic then it is a addend. sent9: the mortgagor is not biosystematics. sent10: the mortgagor is consubstantial. sent11: the affenpinscher does pair. sent12: something does mistake Episcopalian if it is not a scent. sent13: the warp is a Davy. sent14: if something is not ametabolic it is not unfathomable. sent15: the mortgagor is not mandibular. sent16: the mortgagor does not mistake boil. sent17: if something does not pair then it is consubstantial. sent18: the mortgagor is consubstantial and does not pair.
sent18 -> int1: the mortgagor is not a pairing.; sent2 -> int2: the fact that the mortgagor is a kind of a Davy is right if it is not a pairing.; int1 & int2 -> hypothesis;
$hypothesis$ = the mortgagor is a Davy. ; $context$ = sent1: the ghat is both incongruous and not a pairing. sent2: if something does not pair it is a Davy. sent3: the excuse is a Davy. sent4: if something is not consubstantial it pairs. sent5: if something is not a kind of a Davy then it is consubstantial. sent6: something is a Davy if it is not consubstantial. sent7: the fact that the mortgagor is bathyal hold. sent8: if the mortgagor is not a tonic then it is a addend. sent9: the mortgagor is not biosystematics. sent10: the mortgagor is consubstantial. sent11: the affenpinscher does pair. sent12: something does mistake Episcopalian if it is not a scent. sent13: the warp is a Davy. sent14: if something is not ametabolic it is not unfathomable. sent15: the mortgagor is not mandibular. sent16: the mortgagor does not mistake boil. sent17: if something does not pair then it is consubstantial. sent18: the mortgagor is consubstantial and does not pair. ; $proof$ = 
sent18 -> int1: the mortgagor is not a pairing.; sent2 -> int2: the fact that the mortgagor is a kind of a Davy is right if it is not a pairing.; int1 & int2 -> hypothesis; __PROVED__