the anglophobe is not protozoal.
sent1: if the scrumpy is not legless then the fact that that the capon does perfect or is not legless or both hold is not correct. sent2: the capon is a kind of a Pentagon if the anglophobe is dextral. sent3: the fact that the scrumpy is not Chippendale is not incorrect if there is something such that the fact that it either is legless or perfects or both is wrong. sent4: that the scrumpy rekindles is right. sent5: if something is not protozoal then that it is legless and/or it perfects is not correct. sent6: something is not protozoal if it is a Chippendale. sent7: if that there exists something such that that it does not rekindle is not false is correct the anglophobe is a Chippendale. sent8: if there exists something such that the fact that it rekindles and is not a kind of a protein is incorrect the anglophobe is a Chippendale. sent9: something does perfect and/or it is not legless if it is not a kind of a Lappland. sent10: the anglophobe is not a Blighia. sent11: if the fact that something is perfected is not wrong it is protozoal. sent12: the anglophobe is dextral and it is a kind of a Ararat if it is not a Blighia. sent13: the capon is not a kind of a Lappland but it is a Pentagon. sent14: if the scrumpy does rekindle and is not a protein then it is legged.
void -> assump1: Let's assume that the scrumpy rekindles but it is not a protein.; sent14 & assump1 -> int1: the fact that the scrumpy is not legless is not false.; int1 & sent1 -> int2: that either the capon perfects or it is not legless or both is false.; sent9 -> int3: if the capon is not a Lappland then it does perfect and/or it is legged.; sent13 -> int4: the capon is not a Lappland.; int3 & int4 -> int5: the capon is perfected or it is not legless or both.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the scrumpy does rekindle but it is not a kind of a protein is false.; int7 -> int8: there exists something such that the fact that it does rekindle and is not a protein is not right.; int8 & sent8 -> int9: the anglophobe is a kind of a Chippendale.; sent6 -> int10: the anglophobe is non-protozoal if it is a Chippendale.; int9 & int10 -> hypothesis;
the anglophobe is protozoal.
sent11 -> int11: if the anglophobe perfects the fact that it is protozoal is right.;
$hypothesis$ = the anglophobe is not protozoal. ; $context$ = sent1: if the scrumpy is not legless then the fact that that the capon does perfect or is not legless or both hold is not correct. sent2: the capon is a kind of a Pentagon if the anglophobe is dextral. sent3: the fact that the scrumpy is not Chippendale is not incorrect if there is something such that the fact that it either is legless or perfects or both is wrong. sent4: that the scrumpy rekindles is right. sent5: if something is not protozoal then that it is legless and/or it perfects is not correct. sent6: something is not protozoal if it is a Chippendale. sent7: if that there exists something such that that it does not rekindle is not false is correct the anglophobe is a Chippendale. sent8: if there exists something such that the fact that it rekindles and is not a kind of a protein is incorrect the anglophobe is a Chippendale. sent9: something does perfect and/or it is not legless if it is not a kind of a Lappland. sent10: the anglophobe is not a Blighia. sent11: if the fact that something is perfected is not wrong it is protozoal. sent12: the anglophobe is dextral and it is a kind of a Ararat if it is not a Blighia. sent13: the capon is not a kind of a Lappland but it is a Pentagon. sent14: if the scrumpy does rekindle and is not a protein then it is legged. ; $proof$ = 
void -> assump1: Let's assume that the scrumpy rekindles but it is not a protein.; sent14 & assump1 -> int1: the fact that the scrumpy is not legless is not false.; int1 & sent1 -> int2: that either the capon perfects or it is not legless or both is false.; sent9 -> int3: if the capon is not a Lappland then it does perfect and/or it is legged.; sent13 -> int4: the capon is not a Lappland.; int3 & int4 -> int5: the capon is perfected or it is not legless or both.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the scrumpy does rekindle but it is not a kind of a protein is false.; int7 -> int8: there exists something such that the fact that it does rekindle and is not a protein is not right.; int8 & sent8 -> int9: the anglophobe is a kind of a Chippendale.; sent6 -> int10: the anglophobe is non-protozoal if it is a Chippendale.; int9 & int10 -> hypothesis; __PROVED__