that the Carmelite is not a Liverpudlian and it does not refine corythosaur is false.
sent1: if the Delawarean does refine corythosaur then the fact that the Carmelite is a kind of non-Liverpudlian thing that does not refine corythosaur is not correct. sent2: that something is not brassy but it is semi-tuberous is not true if it does not refine corythosaur. sent3: if something is not a salted and it is not more then the pullet is not avionic. sent4: something is a salted that is non-more. sent5: the pullet is a kind of a aphakic if the fact that the Delawarean is not brassy and not non-semi-tuberous does not hold. sent6: that the Carmelite is not Liverpudlian but it refines corythosaur is false if the Delawarean does refines corythosaur. sent7: if the fact that the Delawarean refines corythosaur is not incorrect then the fact that that the Carmelite is a Liverpudlian but it does not refines corythosaur hold does not hold. sent8: the plethodont is not a salted and it is not more. sent9: if the Delawarean is not semi-tuberous then the pullet is aphakic. sent10: the plethodont is not more. sent11: something is not more. sent12: there is something such that it does not salt and is more.
sent2 -> int1: that the Delawarean is not brassy but it is semi-tuberous does not hold if it does not refine corythosaur.; void -> assump1: Let's assume that the Delawarean does not refine corythosaur.; int1 & assump1 -> int2: that the Delawarean is not brassy but it is semi-tuberous does not hold.; int2 & sent5 -> int3: the pullet is aphakic.; sent8 -> int4: something is not a salted and it is not more.; int4 & sent3 -> int5: the pullet is not avionic.;
$hypothesis$ = that the Carmelite is not a Liverpudlian and it does not refine corythosaur is false. ; $context$ = sent1: if the Delawarean does refine corythosaur then the fact that the Carmelite is a kind of non-Liverpudlian thing that does not refine corythosaur is not correct. sent2: that something is not brassy but it is semi-tuberous is not true if it does not refine corythosaur. sent3: if something is not a salted and it is not more then the pullet is not avionic. sent4: something is a salted that is non-more. sent5: the pullet is a kind of a aphakic if the fact that the Delawarean is not brassy and not non-semi-tuberous does not hold. sent6: that the Carmelite is not Liverpudlian but it refines corythosaur is false if the Delawarean does refines corythosaur. sent7: if the fact that the Delawarean refines corythosaur is not incorrect then the fact that that the Carmelite is a Liverpudlian but it does not refines corythosaur hold does not hold. sent8: the plethodont is not a salted and it is not more. sent9: if the Delawarean is not semi-tuberous then the pullet is aphakic. sent10: the plethodont is not more. sent11: something is not more. sent12: there is something such that it does not salt and is more. ; $proof$ = 
sent2 -> int1: that the Delawarean is not brassy but it is semi-tuberous does not hold if it does not refine corythosaur.; void -> assump1: Let's assume that the Delawarean does not refine corythosaur.; int1 & assump1 -> int2: that the Delawarean is not brassy but it is semi-tuberous does not hold.; int2 & sent5 -> int3: the pullet is aphakic.; sent8 -> int4: something is not a salted and it is not more.; int4 & sent3 -> int5: the pullet is not avionic.; __UNKNOWN__