there is something such that the fact that it forages countermand and is a kind of a pedal is incorrect.
sent1: there is something such that it is not a kind of a American. sent2: that the broody does forage countermand and pedals does not hold if that it is not a scattering is right. sent3: the fact that something is not an inspector and heels meronymy does not hold if it is a cowardice. sent4: the Presbyterian is not an inspector and does heel meronymy. sent5: the fact that that the Presbyterian is American and peripatetic is not incorrect is not correct if there exists something such that it is not a American. sent6: the broody does not scatter if the Presbyterian is not a cowardice and it is not a peripatetic. sent7: the fact that the Presbyterian is an inspector that does heel meronymy is not right. sent8: the Indonesian is not an inspector if the broody is not a cowardice. sent9: the fact that something is an inspector and it heels meronymy is not right if it is a cowardice. sent10: the sportswriter forages countermand. sent11: the fact that the Presbyterian is not a kind of a peripatetic is correct if that it is a kind of American thing that is a peripatetic does not hold. sent12: that the Presbyterian does condescend and is not non-interplanetary does not hold.
sent3 -> int1: the fact that that the Presbyterian is not the inspector and heels meronymy is wrong if the Presbyterian is a kind of a cowardice is not incorrect.; void -> assump1: Let's assume that the Presbyterian is a kind of a cowardice.; int1 & assump1 -> int2: the fact that the Presbyterian is not a kind of an inspector and does heel meronymy is not correct.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Presbyterian is not a cowardice.; sent1 & sent5 -> int5: that the Presbyterian is a kind of a American and it is a kind of a peripatetic is not correct.; sent11 & int5 -> int6: the Presbyterian is not peripatetic.; int4 & int6 -> int7: the Presbyterian is not a cowardice and is not a kind of a peripatetic.; int7 & sent6 -> int8: the broody does not scatter.; int8 & sent2 -> int9: the fact that the broody forages countermand and it pedals is incorrect.; int9 -> hypothesis;
the Indonesian is not an inspector.
$hypothesis$ = there is something such that the fact that it forages countermand and is a kind of a pedal is incorrect. ; $context$ = sent1: there is something such that it is not a kind of a American. sent2: that the broody does forage countermand and pedals does not hold if that it is not a scattering is right. sent3: the fact that something is not an inspector and heels meronymy does not hold if it is a cowardice. sent4: the Presbyterian is not an inspector and does heel meronymy. sent5: the fact that that the Presbyterian is American and peripatetic is not incorrect is not correct if there exists something such that it is not a American. sent6: the broody does not scatter if the Presbyterian is not a cowardice and it is not a peripatetic. sent7: the fact that the Presbyterian is an inspector that does heel meronymy is not right. sent8: the Indonesian is not an inspector if the broody is not a cowardice. sent9: the fact that something is an inspector and it heels meronymy is not right if it is a cowardice. sent10: the sportswriter forages countermand. sent11: the fact that the Presbyterian is not a kind of a peripatetic is correct if that it is a kind of American thing that is a peripatetic does not hold. sent12: that the Presbyterian does condescend and is not non-interplanetary does not hold. ; $proof$ = 
sent3 -> int1: the fact that that the Presbyterian is not the inspector and heels meronymy is wrong if the Presbyterian is a kind of a cowardice is not incorrect.; void -> assump1: Let's assume that the Presbyterian is a kind of a cowardice.; int1 & assump1 -> int2: the fact that the Presbyterian is not a kind of an inspector and does heel meronymy is not correct.; int2 & sent4 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Presbyterian is not a cowardice.; sent1 & sent5 -> int5: that the Presbyterian is a kind of a American and it is a kind of a peripatetic is not correct.; sent11 & int5 -> int6: the Presbyterian is not peripatetic.; int4 & int6 -> int7: the Presbyterian is not a cowardice and is not a kind of a peripatetic.; int7 & sent6 -> int8: the broody does not scatter.; int8 & sent2 -> int9: the fact that the broody forages countermand and it pedals is incorrect.; int9 -> hypothesis; __PROVED__