the pane is either not a sandboy or not extrusive or both.
sent1: if that the sultriness does accept is not wrong then the chemical is a twit. sent2: that something is not a kind of a sandboy and/or is not extrusive is not correct if it does endorse. sent3: if that the gravity-assist is not a Clemenceau but it is a busker does not hold it is testimonial. sent4: the sultriness is testimonial or it is not carvel-built or both if it is not a sandboy. sent5: if the gravity-assist is not a busker it is testimonial. sent6: the pane is not liturgical if the chemical is Churchillian and a twit. sent7: the sultriness is carvel-built. sent8: that something endorses is right if it is testimonial. sent9: if the fact that the pane is not liturgical is not wrong then it is not a kind of a sandboy and/or it is not extrusive. sent10: if the gravity-assist does include shingler the chemical is Churchillian. sent11: that the gravity-assist is not a kind of a Clemenceau but it is a busker is false. sent12: if something endorses it does include shingler. sent13: if the sultriness is carvel-built then it accepts.
sent3 & sent11 -> int1: the gravity-assist is testimonial.; sent8 -> int2: if the gravity-assist is testimonial then it does endorse.; int1 & int2 -> int3: the gravity-assist does endorse.; sent12 -> int4: if the gravity-assist does endorse it includes shingler.; int3 & int4 -> int5: the gravity-assist does include shingler.; int5 & sent10 -> int6: the chemical is Churchillian.; sent13 & sent7 -> int7: the sultriness does accept.; sent1 & int7 -> int8: the chemical is a twit.; int6 & int8 -> int9: the chemical is a kind of Churchillian thing that is a twit.; int9 & sent6 -> int10: the pane is not liturgical.; int10 & sent9 -> hypothesis;
that that the pane is not a sandboy and/or is not extrusive is not false is incorrect.
sent2 -> int11: that the pane is not a sandboy or is not extrusive or both is false if it does endorse.;
$hypothesis$ = the pane is either not a sandboy or not extrusive or both. ; $context$ = sent1: if that the sultriness does accept is not wrong then the chemical is a twit. sent2: that something is not a kind of a sandboy and/or is not extrusive is not correct if it does endorse. sent3: if that the gravity-assist is not a Clemenceau but it is a busker does not hold it is testimonial. sent4: the sultriness is testimonial or it is not carvel-built or both if it is not a sandboy. sent5: if the gravity-assist is not a busker it is testimonial. sent6: the pane is not liturgical if the chemical is Churchillian and a twit. sent7: the sultriness is carvel-built. sent8: that something endorses is right if it is testimonial. sent9: if the fact that the pane is not liturgical is not wrong then it is not a kind of a sandboy and/or it is not extrusive. sent10: if the gravity-assist does include shingler the chemical is Churchillian. sent11: that the gravity-assist is not a kind of a Clemenceau but it is a busker is false. sent12: if something endorses it does include shingler. sent13: if the sultriness is carvel-built then it accepts. ; $proof$ = 
sent3 & sent11 -> int1: the gravity-assist is testimonial.; sent8 -> int2: if the gravity-assist is testimonial then it does endorse.; int1 & int2 -> int3: the gravity-assist does endorse.; sent12 -> int4: if the gravity-assist does endorse it includes shingler.; int3 & int4 -> int5: the gravity-assist does include shingler.; int5 & sent10 -> int6: the chemical is Churchillian.; sent13 & sent7 -> int7: the sultriness does accept.; sent1 & int7 -> int8: the chemical is a twit.; int6 & int8 -> int9: the chemical is a kind of Churchillian thing that is a twit.; int9 & sent6 -> int10: the pane is not liturgical.; int10 & sent9 -> hypothesis; __PROVED__