the pug does not enfeoff Elmont but it is Beethovenian.
sent1: the prothrombin does start chasuble if the fact that the Stilton does not start chasuble and does decrease hold is not right. sent2: something is a kind of non-cerous thing that does not start chasuble if it does not decrease hold. sent3: the prothrombin does start chasuble if the Stilton does start chasuble. sent4: that the attractor is both cerous and not a darkness is not right if the pug is a armyworm. sent5: that the prothrombin is a kind of a radar and is not a kind of a folk does not hold. sent6: if the prothrombin starts chasuble the attractor is cerous. sent7: the pug does not enfeoff Elmont. sent8: if there exists something such that the fact that it is non-inconvertible thing that is not disjunct is not true the pug does not start handlebar. sent9: the trumpeter does not decrease hold if it is not a adit or it is not a cynic or both. sent10: the fact that the Stilton starts chasuble and decreases hold does not hold. sent11: that the attractor is not inconvertible and it is not disjunct does not hold if the prothrombin does not overstay. sent12: if the pug does not start handlebar then the trumpeter is a armyworm and a darkness. sent13: if something diverts then the prothrombin does not overstay. sent14: if the prothrombin starts chasuble then the attractor is cerous but it is not a darkness. sent15: the fact that something does not enfeoff Elmont and is Beethovenian is false if it is a darkness. sent16: the attractor decreases hold and is not Beethovenian if the Stilton is a kind of a darkness. sent17: the pug is a kind of a armyworm if the fact that it does not enfeoff Elmont and it is Beethovenian does not hold. sent18: if something that is not cerous does not start chasuble it is not a bonavist. sent19: the attractor does not start chasuble but it is cerous. sent20: the pug is a kind of a armyworm if it does enfeoff Elmont. sent21: something does divert. sent22: the fact that the Stilton does not start chasuble and decreases hold is incorrect. sent23: that the pug does enfeoff Elmont and is Beethovenian is not correct. sent24: the attractor is cerous.
void -> assump1: Let's assume that the fact that the pug does not enfeoff Elmont and is Beethovenian does not hold.; sent17 & assump1 -> int1: the pug is a armyworm.; int1 & sent4 -> int2: the fact that the attractor is cerous but it is not a darkness is incorrect.; sent1 & sent22 -> int3: the prothrombin starts chasuble.; sent14 & int3 -> int4: the attractor is cerous thing that is not a darkness.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
that the fact that the pug does not enfeoff Elmont and is Beethovenian is false is not wrong.
sent15 -> int6: if the pug is a kind of a darkness then the fact that it does not enfeoff Elmont and is Beethovenian does not hold.;
$hypothesis$ = the pug does not enfeoff Elmont but it is Beethovenian. ; $context$ = sent1: the prothrombin does start chasuble if the fact that the Stilton does not start chasuble and does decrease hold is not right. sent2: something is a kind of non-cerous thing that does not start chasuble if it does not decrease hold. sent3: the prothrombin does start chasuble if the Stilton does start chasuble. sent4: that the attractor is both cerous and not a darkness is not right if the pug is a armyworm. sent5: that the prothrombin is a kind of a radar and is not a kind of a folk does not hold. sent6: if the prothrombin starts chasuble the attractor is cerous. sent7: the pug does not enfeoff Elmont. sent8: if there exists something such that the fact that it is non-inconvertible thing that is not disjunct is not true the pug does not start handlebar. sent9: the trumpeter does not decrease hold if it is not a adit or it is not a cynic or both. sent10: the fact that the Stilton starts chasuble and decreases hold does not hold. sent11: that the attractor is not inconvertible and it is not disjunct does not hold if the prothrombin does not overstay. sent12: if the pug does not start handlebar then the trumpeter is a armyworm and a darkness. sent13: if something diverts then the prothrombin does not overstay. sent14: if the prothrombin starts chasuble then the attractor is cerous but it is not a darkness. sent15: the fact that something does not enfeoff Elmont and is Beethovenian is false if it is a darkness. sent16: the attractor decreases hold and is not Beethovenian if the Stilton is a kind of a darkness. sent17: the pug is a kind of a armyworm if the fact that it does not enfeoff Elmont and it is Beethovenian does not hold. sent18: if something that is not cerous does not start chasuble it is not a bonavist. sent19: the attractor does not start chasuble but it is cerous. sent20: the pug is a kind of a armyworm if it does enfeoff Elmont. sent21: something does divert. sent22: the fact that the Stilton does not start chasuble and decreases hold is incorrect. sent23: that the pug does enfeoff Elmont and is Beethovenian is not correct. sent24: the attractor is cerous. ; $proof$ = 
void -> assump1: Let's assume that the fact that the pug does not enfeoff Elmont and is Beethovenian does not hold.; sent17 & assump1 -> int1: the pug is a armyworm.; int1 & sent4 -> int2: the fact that the attractor is cerous but it is not a darkness is incorrect.; sent1 & sent22 -> int3: the prothrombin starts chasuble.; sent14 & int3 -> int4: the attractor is cerous thing that is not a darkness.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__