the guru is both surfacing and not non-evolutionary.
sent1: if there exists something such that that it does not accelerate prickle-weed and is basilar is incorrect the guru is evolutionary. sent2: the rent is not a kind of a taproot and is a rotisserie if it is not astrological. sent3: the rent is not a kind of a Oklahoman. sent4: the fact that the gamma-interferon is dishonorable but it is not unfit is false. sent5: the rent is non-astrological if there is something such that it is not non-tomentose and it accelerates beefcake. sent6: if something does not accelerate beefcake then the fact that it is a surfacing and is evolutionary is incorrect. sent7: the gamma-interferon is not tomentose if something is not a rotisserie. sent8: the Pepsi accelerates beefcake if it is a Oklahoman. sent9: the fact that the acquaintance does not accelerate prickle-weed but it is basilar does not hold. sent10: something does not accelerate prickle-weed but it is Dutch if the fact that it is not inexhaustible is not false. sent11: if something is not a taproot and not a Oklahoman the Pepsi is not a rotisserie. sent12: if there is something such that it is not a kind of a taproot and it is a kind of a rotisserie the guru is a kind of a surfacing. sent13: if that the gamma-interferon is dishonorable and not unfit is false the Pepsi is tomentose. sent14: something is a kind of surfacing thing that is unfit. sent15: if there exists something such that the fact that it is a kind of basilar thing that does not accelerate prickle-weed is not correct the rent is not a kind of a taproot. sent16: the Pepsi is a Oklahoman. sent17: that something accelerates beefcake and is not astrological is false if it is not tomentose. sent18: the acquaintance is evolutionary if there exists something such that it accelerates prickle-weed.
sent13 & sent4 -> int1: the Pepsi is tomentose.; sent8 & sent16 -> int2: the fact that the Pepsi does accelerate beefcake is not incorrect.; int1 & int2 -> int3: the Pepsi is tomentose and it does accelerate beefcake.; int3 -> int4: something is tomentose and does accelerate beefcake.; int4 & sent5 -> int5: the rent is not astrological.; int5 & sent2 -> int6: the rent is not a taproot and is a rotisserie.; int6 -> int7: there is something such that it is not a taproot and is a rotisserie.; int7 & sent12 -> int8: the fact that the guru is a surfacing is true.; sent9 -> int9: there exists something such that that it does not accelerate prickle-weed and is basilar is not right.; int9 & sent1 -> int10: the guru is evolutionary.; int8 & int10 -> hypothesis;
the fact that the guru is a kind of a surfacing and is evolutionary does not hold.
sent6 -> int11: that the guru is both surfacing and not non-evolutionary does not hold if it does not accelerate beefcake.; sent17 -> int12: if the gamma-interferon is not tomentose that it accelerates beefcake and is not astrological is wrong.;
$hypothesis$ = the guru is both surfacing and not non-evolutionary. ; $context$ = sent1: if there exists something such that that it does not accelerate prickle-weed and is basilar is incorrect the guru is evolutionary. sent2: the rent is not a kind of a taproot and is a rotisserie if it is not astrological. sent3: the rent is not a kind of a Oklahoman. sent4: the fact that the gamma-interferon is dishonorable but it is not unfit is false. sent5: the rent is non-astrological if there is something such that it is not non-tomentose and it accelerates beefcake. sent6: if something does not accelerate beefcake then the fact that it is a surfacing and is evolutionary is incorrect. sent7: the gamma-interferon is not tomentose if something is not a rotisserie. sent8: the Pepsi accelerates beefcake if it is a Oklahoman. sent9: the fact that the acquaintance does not accelerate prickle-weed but it is basilar does not hold. sent10: something does not accelerate prickle-weed but it is Dutch if the fact that it is not inexhaustible is not false. sent11: if something is not a taproot and not a Oklahoman the Pepsi is not a rotisserie. sent12: if there is something such that it is not a kind of a taproot and it is a kind of a rotisserie the guru is a kind of a surfacing. sent13: if that the gamma-interferon is dishonorable and not unfit is false the Pepsi is tomentose. sent14: something is a kind of surfacing thing that is unfit. sent15: if there exists something such that the fact that it is a kind of basilar thing that does not accelerate prickle-weed is not correct the rent is not a kind of a taproot. sent16: the Pepsi is a Oklahoman. sent17: that something accelerates beefcake and is not astrological is false if it is not tomentose. sent18: the acquaintance is evolutionary if there exists something such that it accelerates prickle-weed. ; $proof$ = 
sent13 & sent4 -> int1: the Pepsi is tomentose.; sent8 & sent16 -> int2: the fact that the Pepsi does accelerate beefcake is not incorrect.; int1 & int2 -> int3: the Pepsi is tomentose and it does accelerate beefcake.; int3 -> int4: something is tomentose and does accelerate beefcake.; int4 & sent5 -> int5: the rent is not astrological.; int5 & sent2 -> int6: the rent is not a taproot and is a rotisserie.; int6 -> int7: there is something such that it is not a taproot and is a rotisserie.; int7 & sent12 -> int8: the fact that the guru is a surfacing is true.; sent9 -> int9: there exists something such that that it does not accelerate prickle-weed and is basilar is not right.; int9 & sent1 -> int10: the guru is evolutionary.; int8 & int10 -> hypothesis; __PROVED__