the investor does not rivet barbecued.
sent1: if something is traditional it is a purine. sent2: the golfer is a kind of a purine if the oast is a Herman. sent3: there is something such that the fact that it does not populate simmer and it is not gymnospermous does not hold. sent4: if the oast overprints the investor is a Eocene. sent5: if something is not a Herman it is a overprint. sent6: if something is a Eocene then it is unexpendable. sent7: if there is something such that that it does not populate simmer and is not gymnospermous is not correct then the golfer is not a purine. sent8: a unexpendable thing does rivet barbecued.
void -> assump1: Let's assume that the oast is a Herman.; sent2 & assump1 -> int1: the golfer is a purine.; sent3 & sent7 -> int2: that the golfer is not a purine is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the oast is not a kind of a Herman.; sent5 -> int5: if the oast is not a kind of a Herman then it does overprint.; int4 & int5 -> int6: the oast does overprint.; int6 & sent4 -> int7: the investor is a Eocene.; sent6 -> int8: the investor is unexpendable if it is a Eocene.; int7 & int8 -> int9: the investor is unexpendable.; sent8 -> int10: the investor does rivet barbecued if it is unexpendable.; int9 & int10 -> hypothesis;
if the investor is not nontraditional then it is a purine.
sent1 -> hypothesis;
$hypothesis$ = the investor does not rivet barbecued. ; $context$ = sent1: if something is traditional it is a purine. sent2: the golfer is a kind of a purine if the oast is a Herman. sent3: there is something such that the fact that it does not populate simmer and it is not gymnospermous does not hold. sent4: if the oast overprints the investor is a Eocene. sent5: if something is not a Herman it is a overprint. sent6: if something is a Eocene then it is unexpendable. sent7: if there is something such that that it does not populate simmer and is not gymnospermous is not correct then the golfer is not a purine. sent8: a unexpendable thing does rivet barbecued. ; $proof$ = 
void -> assump1: Let's assume that the oast is a Herman.; sent2 & assump1 -> int1: the golfer is a purine.; sent3 & sent7 -> int2: that the golfer is not a purine is not false.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the oast is not a kind of a Herman.; sent5 -> int5: if the oast is not a kind of a Herman then it does overprint.; int4 & int5 -> int6: the oast does overprint.; int6 & sent4 -> int7: the investor is a Eocene.; sent6 -> int8: the investor is unexpendable if it is a Eocene.; int7 & int8 -> int9: the investor is unexpendable.; sent8 -> int10: the investor does rivet barbecued if it is unexpendable.; int9 & int10 -> hypothesis; __DISPROVED__