the Cook is a flashboard.
sent1: the Cook is not a prothrombin but it is brassy if the placenta is Hertzian. sent2: the placenta is a prothrombin and is not brassy if the Cook is not brassy. sent3: if something is a kind of a divination then it does remainder elk. sent4: if the Cook is a flashboard then the placenta stifles Guiana. sent5: the Cook does stifle Guiana but it is not brassy if the backlog is not brassy. sent6: the Cook is a rookery if it is not Hertzian and does stifle pyroxene. sent7: the fact that something is not brassy and it is not a flashboard is false if it is a kind of a rookery. sent8: if that the backlog is a flashboard and remainders elk does not hold then the Cook is not a flashboard. sent9: the fact that the backlog is non-brassy thing that is not a rookery is not right. sent10: the backlog stifles pyroxene. sent11: the placenta is a Sigmodon and it is an allergist. sent12: the fact that the placenta is a kind of a spear that does stifle pyroxene hold. sent13: the placenta is a prothrombin and a pull-off. sent14: the placenta is a prothrombin and not brassy. sent15: the fact that something is a kind of a flashboard and it does remainder elk is not right if it is not a divination. sent16: if the Cook is not a flashboard and is a kind of a divination the backlog is a divination. sent17: the Cook is a prothrombin if the fact that the placenta is not brassy is true. sent18: the backlog is a kind of a rookery. sent19: the fact that the backlog is not a prothrombin and is not brassy is false. sent20: there exists something such that it remainders elk and is a divination. sent21: the telpherage is not a divination and it is not immutable. sent22: the headliner does not stifle defoliation and is a kind of a prothrombin if the backlog does remainder elk. sent23: if something remainders elk and it is a divination the backlog is not brassy. sent24: the fact that the Wilderness does not stifle Lophius and does not remainder fichu is incorrect if it is a kind of a flashboard. sent25: if the placenta is a pull-off the Cook is a kind of non-Hertzian thing that does stifle pyroxene.
sent20 & sent23 -> int1: the backlog is non-brassy.; int1 & sent5 -> int2: the Cook stifles Guiana and is not brassy.; int2 -> int3: the Cook is not brassy.; void -> assump1: Let's assume that the Cook is not a flashboard.; int3 & assump1 -> int4: the Cook is not brassy and it is not a flashboard.; sent7 -> int5: if the Cook is a rookery the fact that it is not brassy and is not a flashboard is false.; sent13 -> int6: the fact that the placenta is a pull-off is not wrong.; sent25 & int6 -> int7: the Cook is not Hertzian but it stifles pyroxene.; sent6 & int7 -> int8: the Cook is a rookery.; int5 & int8 -> int9: that the Cook is not brassy and not a flashboard is incorrect.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the Cook is not a flashboard.
sent15 -> int11: that the backlog is a flashboard and it remainders elk is false if the fact that it is not a divination is not wrong.;
$hypothesis$ = the Cook is a flashboard. ; $context$ = sent1: the Cook is not a prothrombin but it is brassy if the placenta is Hertzian. sent2: the placenta is a prothrombin and is not brassy if the Cook is not brassy. sent3: if something is a kind of a divination then it does remainder elk. sent4: if the Cook is a flashboard then the placenta stifles Guiana. sent5: the Cook does stifle Guiana but it is not brassy if the backlog is not brassy. sent6: the Cook is a rookery if it is not Hertzian and does stifle pyroxene. sent7: the fact that something is not brassy and it is not a flashboard is false if it is a kind of a rookery. sent8: if that the backlog is a flashboard and remainders elk does not hold then the Cook is not a flashboard. sent9: the fact that the backlog is non-brassy thing that is not a rookery is not right. sent10: the backlog stifles pyroxene. sent11: the placenta is a Sigmodon and it is an allergist. sent12: the fact that the placenta is a kind of a spear that does stifle pyroxene hold. sent13: the placenta is a prothrombin and a pull-off. sent14: the placenta is a prothrombin and not brassy. sent15: the fact that something is a kind of a flashboard and it does remainder elk is not right if it is not a divination. sent16: if the Cook is not a flashboard and is a kind of a divination the backlog is a divination. sent17: the Cook is a prothrombin if the fact that the placenta is not brassy is true. sent18: the backlog is a kind of a rookery. sent19: the fact that the backlog is not a prothrombin and is not brassy is false. sent20: there exists something such that it remainders elk and is a divination. sent21: the telpherage is not a divination and it is not immutable. sent22: the headliner does not stifle defoliation and is a kind of a prothrombin if the backlog does remainder elk. sent23: if something remainders elk and it is a divination the backlog is not brassy. sent24: the fact that the Wilderness does not stifle Lophius and does not remainder fichu is incorrect if it is a kind of a flashboard. sent25: if the placenta is a pull-off the Cook is a kind of non-Hertzian thing that does stifle pyroxene. ; $proof$ = 
sent20 & sent23 -> int1: the backlog is non-brassy.; int1 & sent5 -> int2: the Cook stifles Guiana and is not brassy.; int2 -> int3: the Cook is not brassy.; void -> assump1: Let's assume that the Cook is not a flashboard.; int3 & assump1 -> int4: the Cook is not brassy and it is not a flashboard.; sent7 -> int5: if the Cook is a rookery the fact that it is not brassy and is not a flashboard is false.; sent13 -> int6: the fact that the placenta is a pull-off is not wrong.; sent25 & int6 -> int7: the Cook is not Hertzian but it stifles pyroxene.; sent6 & int7 -> int8: the Cook is a rookery.; int5 & int8 -> int9: that the Cook is not brassy and not a flashboard is incorrect.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__