the fact that the catafalque is heavy-duty is true.
sent1: the fact that the deist is not a kind of a conidium but it is an appropriation is not correct if there is something such that that it is non-homeostatic is not wrong. sent2: if something is unsavory then it is not heavy-duty and not a dinner. sent3: if the catafalque is not a kind of a dinner it is a kind of a cynosure. sent4: something does not reorient Vela. sent5: the fauna is not a aneroid and is not arsenious if the fact that it is not a smothered hold. sent6: the Vela is unsavory and/or a dinner if there is something such that it is a dinner. sent7: the fact that the deist is not a Holly is right if the midrib is a kind of a Holly. sent8: if the deist is not unsavory and not cationic then the fact that the catafalque is unsavory is not wrong. sent9: if that something is not a conidium but it is an appropriation is not right it does not reorient convoy. sent10: the fact that the fauna is not a kind of a smothered is right. sent11: the catafalque is a kind of a cynosure and it is heavy-duty if it is not a kind of a dinner. sent12: if the fauna is not a kind of a aneroid and it is not arsenious it is not homeostatic. sent13: if something does not reorient convoy and it is not a Holly it is exaugural. sent14: the catafalque does rendezvous and it does reorient Reaumur if it is not heavy-duty. sent15: the deist is not cationic and not exaugural. sent16: the catafalque is not a kind of a dinner. sent17: the midrib is a Holly if the Pastor is a Holly. sent18: if something is not non-exaugural then it is both not unsavory and non-cationic.
sent11 & sent16 -> int1: the catafalque is a cynosure and it is heavy-duty.; int1 -> hypothesis;
the Vela is heavy-duty.
sent15 -> int2: there exists something such that it is not cationic and it is not exaugural.;
$hypothesis$ = the fact that the catafalque is heavy-duty is true. ; $context$ = sent1: the fact that the deist is not a kind of a conidium but it is an appropriation is not correct if there is something such that that it is non-homeostatic is not wrong. sent2: if something is unsavory then it is not heavy-duty and not a dinner. sent3: if the catafalque is not a kind of a dinner it is a kind of a cynosure. sent4: something does not reorient Vela. sent5: the fauna is not a aneroid and is not arsenious if the fact that it is not a smothered hold. sent6: the Vela is unsavory and/or a dinner if there is something such that it is a dinner. sent7: the fact that the deist is not a Holly is right if the midrib is a kind of a Holly. sent8: if the deist is not unsavory and not cationic then the fact that the catafalque is unsavory is not wrong. sent9: if that something is not a conidium but it is an appropriation is not right it does not reorient convoy. sent10: the fact that the fauna is not a kind of a smothered is right. sent11: the catafalque is a kind of a cynosure and it is heavy-duty if it is not a kind of a dinner. sent12: if the fauna is not a kind of a aneroid and it is not arsenious it is not homeostatic. sent13: if something does not reorient convoy and it is not a Holly it is exaugural. sent14: the catafalque does rendezvous and it does reorient Reaumur if it is not heavy-duty. sent15: the deist is not cationic and not exaugural. sent16: the catafalque is not a kind of a dinner. sent17: the midrib is a Holly if the Pastor is a Holly. sent18: if something is not non-exaugural then it is both not unsavory and non-cationic. ; $proof$ = 
sent11 & sent16 -> int1: the catafalque is a cynosure and it is heavy-duty.; int1 -> hypothesis; __PROVED__