the cathedral is avionic and it is a launcher.
sent1: if something is not a graphology then it is nonexempt and it does effect cathedral. sent2: the fact that either the airplane is not nonexempt or it does not effect cathedral or both is not right. sent3: the cathedral does organize expletive. sent4: the cathedral is not a kind of a risibility. sent5: if the fact that the overprint is a fig is correct then the cathedral does organize expletive. sent6: something is not a graphology if that it does not trip airplane and is not pyretic is not right. sent7: something is nonexempt thing that organizes expletive if the fact that it is not a launcher is not false. sent8: if the overprint is a kind of a fig then the cathedral does not effect marblewood but it organizes expletive. sent9: that the cathedral does not trip airplane and it is not pyretic is false if it is not a risibility. sent10: if the cathedral is not a kind of a graphology it is nonexempt. sent11: the cathedral is a kind of a launcher if it does not effect marblewood and it organizes expletive. sent12: the overprint is a fig. sent13: the fact that something is avionic a launcher does not hold if it does not effect cathedral.
sent6 -> int1: if that the cathedral does not trip airplane and is not pyretic does not hold the fact that it is not a graphology hold.; sent9 & sent4 -> int2: the fact that the cathedral does not trip airplane and is not pyretic is incorrect.; int1 & int2 -> int3: the fact that the cathedral is not a graphology is not incorrect.; sent1 -> int4: if the cathedral is not a kind of a graphology then it is nonexempt and it does effect cathedral.; int3 & int4 -> int5: the cathedral is nonexempt and it does effect cathedral.; int5 -> int6: the cathedral effects cathedral.; sent8 & sent12 -> int7: the cathedral does not effect marblewood but it organizes expletive.; sent11 & int7 -> int8: that the cathedral is a launcher is not wrong.;
the observer does pounce and it does organize vincristine.
sent2 -> int9: there is something such that the fact that it is not nonexempt or does not effect cathedral or both is false.;
$hypothesis$ = the cathedral is avionic and it is a launcher. ; $context$ = sent1: if something is not a graphology then it is nonexempt and it does effect cathedral. sent2: the fact that either the airplane is not nonexempt or it does not effect cathedral or both is not right. sent3: the cathedral does organize expletive. sent4: the cathedral is not a kind of a risibility. sent5: if the fact that the overprint is a fig is correct then the cathedral does organize expletive. sent6: something is not a graphology if that it does not trip airplane and is not pyretic is not right. sent7: something is nonexempt thing that organizes expletive if the fact that it is not a launcher is not false. sent8: if the overprint is a kind of a fig then the cathedral does not effect marblewood but it organizes expletive. sent9: that the cathedral does not trip airplane and it is not pyretic is false if it is not a risibility. sent10: if the cathedral is not a kind of a graphology it is nonexempt. sent11: the cathedral is a kind of a launcher if it does not effect marblewood and it organizes expletive. sent12: the overprint is a fig. sent13: the fact that something is avionic a launcher does not hold if it does not effect cathedral. ; $proof$ = 
sent6 -> int1: if that the cathedral does not trip airplane and is not pyretic does not hold the fact that it is not a graphology hold.; sent9 & sent4 -> int2: the fact that the cathedral does not trip airplane and is not pyretic is incorrect.; int1 & int2 -> int3: the fact that the cathedral is not a graphology is not incorrect.; sent1 -> int4: if the cathedral is not a kind of a graphology then it is nonexempt and it does effect cathedral.; int3 & int4 -> int5: the cathedral is nonexempt and it does effect cathedral.; int5 -> int6: the cathedral effects cathedral.; sent8 & sent12 -> int7: the cathedral does not effect marblewood but it organizes expletive.; sent11 & int7 -> int8: that the cathedral is a launcher is not wrong.; __UNKNOWN__