the fact that something is alexic hold.
sent1: something is a alexic if it is accessional. sent2: if the fact that the adsorbent is both not a Hearst and alexic is not right it is not a Manx. sent3: the den is not accessional if there is something such that the fact that it is a alexic and it is a kind of a one-fifth is incorrect. sent4: that the adsorbent is alexic thing that is a one-fifth is wrong if there exists something such that it flicks Fuego. sent5: the fact that the beneficiary is a kind of a one-fifth is true. sent6: if the fact that something is not Manx but it does ignore machismo does not hold it is not a kind of a anthophyllite. sent7: the manubrium does learn. sent8: something is a one-fifth if it is a kind of a Hearst. sent9: if the hob is not a anthophyllite it is benevolent and/or it is a Hearst. sent10: a benevolent thing is Alpine or is not a kind of a Hearst or both. sent11: the adsorbent is accessional if either the hob is benevolent or it is not a Hearst or both. sent12: something is not a anthophyllite if the fact that it does not ignore machismo is not wrong. sent13: the beneficiary is a planetesimal. sent14: if the beneficiary is a one-fifth the fact that the hob is non-Manx and does ignore machismo is incorrect. sent15: if the hob is not a Hearst then the adsorbent is accessional. sent16: if that the hob does not ignore machismo but it is a Hearst does not hold then that the fact that it is alexic is true is incorrect. sent17: the West-sider is not alexic. sent18: the beneficiary is not a one-fifth if it is not a kind of a Manx. sent19: if the fact that the hob does not ignore machismo is right then it is not a kind of a anthophyllite. sent20: the cowl is not isotonic but it flicks fishnet. sent21: the hob is benevolent or a Hearst or both. sent22: something is either benevolent or a Hearst or both if it is not a anthophyllite. sent23: the beneficiary does flick Fuego if the cowl is not isotonic but it flicks fishnet. sent24: if something is not a kind of a anthophyllite then it is benevolent or it is not a Hearst or both.
sent6 -> int1: if the fact that the hob is not a kind of a Manx but it does ignore machismo is wrong then that it is not a anthophyllite is right.; sent14 & sent5 -> int2: the fact that the hob is not a kind of a Manx but it does ignore machismo is not correct.; int1 & int2 -> int3: the hob is not a anthophyllite.; sent24 -> int4: the hob either is benevolent or is not a Hearst or both if it is not a anthophyllite.; int3 & int4 -> int5: that the hob is benevolent or it is not a kind of a Hearst or both is not incorrect.; int5 & sent11 -> int6: the adsorbent is accessional.; sent1 -> int7: the adsorbent is a alexic if it is accessional.; int6 & int7 -> int8: the adsorbent is a kind of a alexic.; int8 -> hypothesis;
the den is Alpine or it is not a Hearst or both.
sent10 -> int9: the den is Alpine or it is not a Hearst or both if it is benevolent.; sent23 & sent20 -> int10: the beneficiary flicks Fuego.; int10 -> int11: something does flick Fuego.; int11 & sent4 -> int12: that the adsorbent is a kind of a alexic and it is a kind of a one-fifth does not hold.; int12 -> int13: there exists something such that the fact that it is a alexic and it is a one-fifth is incorrect.; int13 & sent3 -> int14: the den is non-accessional.;
$hypothesis$ = the fact that something is alexic hold. ; $context$ = sent1: something is a alexic if it is accessional. sent2: if the fact that the adsorbent is both not a Hearst and alexic is not right it is not a Manx. sent3: the den is not accessional if there is something such that the fact that it is a alexic and it is a kind of a one-fifth is incorrect. sent4: that the adsorbent is alexic thing that is a one-fifth is wrong if there exists something such that it flicks Fuego. sent5: the fact that the beneficiary is a kind of a one-fifth is true. sent6: if the fact that something is not Manx but it does ignore machismo does not hold it is not a kind of a anthophyllite. sent7: the manubrium does learn. sent8: something is a one-fifth if it is a kind of a Hearst. sent9: if the hob is not a anthophyllite it is benevolent and/or it is a Hearst. sent10: a benevolent thing is Alpine or is not a kind of a Hearst or both. sent11: the adsorbent is accessional if either the hob is benevolent or it is not a Hearst or both. sent12: something is not a anthophyllite if the fact that it does not ignore machismo is not wrong. sent13: the beneficiary is a planetesimal. sent14: if the beneficiary is a one-fifth the fact that the hob is non-Manx and does ignore machismo is incorrect. sent15: if the hob is not a Hearst then the adsorbent is accessional. sent16: if that the hob does not ignore machismo but it is a Hearst does not hold then that the fact that it is alexic is true is incorrect. sent17: the West-sider is not alexic. sent18: the beneficiary is not a one-fifth if it is not a kind of a Manx. sent19: if the fact that the hob does not ignore machismo is right then it is not a kind of a anthophyllite. sent20: the cowl is not isotonic but it flicks fishnet. sent21: the hob is benevolent or a Hearst or both. sent22: something is either benevolent or a Hearst or both if it is not a anthophyllite. sent23: the beneficiary does flick Fuego if the cowl is not isotonic but it flicks fishnet. sent24: if something is not a kind of a anthophyllite then it is benevolent or it is not a Hearst or both. ; $proof$ = 
sent6 -> int1: if the fact that the hob is not a kind of a Manx but it does ignore machismo is wrong then that it is not a anthophyllite is right.; sent14 & sent5 -> int2: the fact that the hob is not a kind of a Manx but it does ignore machismo is not correct.; int1 & int2 -> int3: the hob is not a anthophyllite.; sent24 -> int4: the hob either is benevolent or is not a Hearst or both if it is not a anthophyllite.; int3 & int4 -> int5: that the hob is benevolent or it is not a kind of a Hearst or both is not incorrect.; int5 & sent11 -> int6: the adsorbent is accessional.; sent1 -> int7: the adsorbent is a alexic if it is accessional.; int6 & int7 -> int8: the adsorbent is a kind of a alexic.; int8 -> hypothesis; __PROVED__