the beachhead is not a kind of an ammonite.
sent1: if the fact that the headman is not a chesterfield but it is presentational is not true then the fipple is not a kind of a chesterfield. sent2: if something does not besot Rayleigh then that it is not a kind of a chesterfield and it is presentational is incorrect. sent3: the perspiration is a kind of a diabetic but it does not subrogate Ur if it is not a creel. sent4: if something is a penitent then it is a young. sent5: that the headman is a breed and is not cervine does not hold if there exists something such that it is not aluminous. sent6: if that something is both a breed and not cervine is not correct it does not besot Rayleigh. sent7: the fishpond is aecial. sent8: if the fipple is not a chesterfield that the mucus is a kind of a horse and it currycombs does not hold. sent9: the fishpond is an ammonite and it is a young if the fact that it is not a cupcake hold. sent10: if the fishpond is not uncreative then the beachhead is aecial. sent11: the fishpond is not uncreative or does not encounter or both if the stagehand does not currycomb. sent12: if something is either an ammonite or not young or both then it is an ammonite. sent13: the fact that something is unconventional and/or not autumnal hold. sent14: if something is a penitent it is non-young and/or it is not a cupcake. sent15: that the choragus is not an ammonite if something is either not a young or not a cupcake or both is true. sent16: if the fact that the fishpond is not an encounter hold then it is a kind of a penitent that is aecial. sent17: the beachhead is aecial if the fishpond does not encounter. sent18: if the fact that the perspiration is a diabetic but it does not subrogate Ur is right then it is not aluminous. sent19: if the fishpond is not a kind of an encounter it is aecial. sent20: the beachhead is not a cupcake if there exists something such that it is unconventional. sent21: if the beachhead is not a cupcake but an ammonite the fishpond is not a young. sent22: the stagehand is not a currycomb if there exists something such that the fact that it is a horse and a currycomb is false. sent23: that the beachhead is not a kind of a cupcake is not incorrect if something is unconventional or is not autumnal or both. sent24: the fact that the fishpond does not encounter is not false. sent25: the perspiration is not a creel. sent26: there exists something such that it is either unconventional or autumnal or both.
sent13 & sent23 -> int1: the fact that the beachhead is not a cupcake is not wrong.; void -> assump1: Let's assume that the beachhead is an ammonite.; int1 & assump1 -> int2: the beachhead is both not a cupcake and an ammonite.; int2 & sent21 -> int3: the fishpond is not a young.; sent4 -> int4: the fishpond is a young if it is penitent.; sent16 & sent24 -> int5: that the fishpond is a penitent and aecial is right.; int5 -> int6: the fishpond is a kind of a penitent.; int4 & int6 -> int7: the fishpond is a young.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the beachhead is an ammonite.
sent12 -> int9: the beachhead is a kind of an ammonite if it is an ammonite and/or not a young.;
$hypothesis$ = the beachhead is not a kind of an ammonite. ; $context$ = sent1: if the fact that the headman is not a chesterfield but it is presentational is not true then the fipple is not a kind of a chesterfield. sent2: if something does not besot Rayleigh then that it is not a kind of a chesterfield and it is presentational is incorrect. sent3: the perspiration is a kind of a diabetic but it does not subrogate Ur if it is not a creel. sent4: if something is a penitent then it is a young. sent5: that the headman is a breed and is not cervine does not hold if there exists something such that it is not aluminous. sent6: if that something is both a breed and not cervine is not correct it does not besot Rayleigh. sent7: the fishpond is aecial. sent8: if the fipple is not a chesterfield that the mucus is a kind of a horse and it currycombs does not hold. sent9: the fishpond is an ammonite and it is a young if the fact that it is not a cupcake hold. sent10: if the fishpond is not uncreative then the beachhead is aecial. sent11: the fishpond is not uncreative or does not encounter or both if the stagehand does not currycomb. sent12: if something is either an ammonite or not young or both then it is an ammonite. sent13: the fact that something is unconventional and/or not autumnal hold. sent14: if something is a penitent it is non-young and/or it is not a cupcake. sent15: that the choragus is not an ammonite if something is either not a young or not a cupcake or both is true. sent16: if the fact that the fishpond is not an encounter hold then it is a kind of a penitent that is aecial. sent17: the beachhead is aecial if the fishpond does not encounter. sent18: if the fact that the perspiration is a diabetic but it does not subrogate Ur is right then it is not aluminous. sent19: if the fishpond is not a kind of an encounter it is aecial. sent20: the beachhead is not a cupcake if there exists something such that it is unconventional. sent21: if the beachhead is not a cupcake but an ammonite the fishpond is not a young. sent22: the stagehand is not a currycomb if there exists something such that the fact that it is a horse and a currycomb is false. sent23: that the beachhead is not a kind of a cupcake is not incorrect if something is unconventional or is not autumnal or both. sent24: the fact that the fishpond does not encounter is not false. sent25: the perspiration is not a creel. sent26: there exists something such that it is either unconventional or autumnal or both. ; $proof$ = 
sent13 & sent23 -> int1: the fact that the beachhead is not a cupcake is not wrong.; void -> assump1: Let's assume that the beachhead is an ammonite.; int1 & assump1 -> int2: the beachhead is both not a cupcake and an ammonite.; int2 & sent21 -> int3: the fishpond is not a young.; sent4 -> int4: the fishpond is a young if it is penitent.; sent16 & sent24 -> int5: that the fishpond is a penitent and aecial is right.; int5 -> int6: the fishpond is a kind of a penitent.; int4 & int6 -> int7: the fishpond is a young.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__