the fact that that the fact that the quarterlight does not automobile but it is nonsurgical is correct is not true is not incorrect.
sent1: that the quarterlight automobiles and is nonsurgical is incorrect if it does not cascade demureness. sent2: if the quarterlight does not cascade demureness then the fact that it does not automobile and it is nonsurgical is wrong. sent3: the quarterlight is a kind of a glance. sent4: the quarterlight confederates strophe if the calcification does not distill but it is filial. sent5: the calcification is not filial. sent6: the quarterlight confederates strophe if the calcification does not distill and it is not filial. sent7: the quarterlight does not cascade demureness if the fact that it does confederate strophe and is a kind of a glance is not wrong. sent8: if the calcification is happy it either does not confederate strophe or cascades demureness or both. sent9: the calcification does not distill and is non-filial. sent10: the calcification does not cascade quarterlight and it is not anasarcous. sent11: the fact that something does not automobile and is nonsurgical is not incorrect if it is not a kind of a glance.
sent6 & sent9 -> int1: the quarterlight confederates strophe.; int1 & sent3 -> int2: the quarterlight does confederate strophe and is a glance.; int2 & sent7 -> int3: the quarterlight does not cascade demureness.; int3 & sent2 -> hypothesis;
the quarterlight does not automobile and is nonsurgical.
sent11 -> int4: if the quarterlight does not glance it does not automobile and it is nonsurgical.;
$hypothesis$ = the fact that that the fact that the quarterlight does not automobile but it is nonsurgical is correct is not true is not incorrect. ; $context$ = sent1: that the quarterlight automobiles and is nonsurgical is incorrect if it does not cascade demureness. sent2: if the quarterlight does not cascade demureness then the fact that it does not automobile and it is nonsurgical is wrong. sent3: the quarterlight is a kind of a glance. sent4: the quarterlight confederates strophe if the calcification does not distill but it is filial. sent5: the calcification is not filial. sent6: the quarterlight confederates strophe if the calcification does not distill and it is not filial. sent7: the quarterlight does not cascade demureness if the fact that it does confederate strophe and is a kind of a glance is not wrong. sent8: if the calcification is happy it either does not confederate strophe or cascades demureness or both. sent9: the calcification does not distill and is non-filial. sent10: the calcification does not cascade quarterlight and it is not anasarcous. sent11: the fact that something does not automobile and is nonsurgical is not incorrect if it is not a kind of a glance. ; $proof$ = 
sent6 & sent9 -> int1: the quarterlight confederates strophe.; int1 & sent3 -> int2: the quarterlight does confederate strophe and is a glance.; int2 & sent7 -> int3: the quarterlight does not cascade demureness.; int3 & sent2 -> hypothesis; __PROVED__