the buttonwood is a plasmin.
sent1: if something that is not a Cercopidae is a kind of a smoothbore it is not reasonable. sent2: if the president does not intrigue WTO but it is reasonable then it is not a kind of a smoothbore. sent3: the kike does not cure if it is not a plasmin and it intrigues WTO. sent4: if the president does not cure but it does scale ethnic the buttonwood cure. sent5: the pick is not a Cercopidae but it is a kind of a smoothbore. sent6: the pick is unreasonable if it is a Cercopidae and is a smoothbore. sent7: the buttonwood is a kind of a plasmin if the kike does not scale ethnic. sent8: the president intrigues WTO if the pick does cure. sent9: the president is a plasmin. sent10: if the pick is not reasonable the fact that it does cure is not false. sent11: the kike is reasonable. sent12: something is not a kind of a cut and/or does carpet buttonwood. sent13: the Chase does not intrigue WTO. sent14: the kike is a Cercopidae if it does not intrigue WTO. sent15: if something does not intrigue WTO and is descriptive the fact that it does scale ethnic hold. sent16: the president does not cure. sent17: if something that does cure is reasonable that it is not a kind of a plasmin is true. sent18: the buttonwood is reasonable. sent19: the kike is reasonable if the pick does not scale ethnic. sent20: the buttonwood is reasonable if the kike is not a card but it is cloudy. sent21: the buttonwood is a plasmin if the kike does not intrigue WTO. sent22: if the president does intrigue WTO then the kike does not intrigue WTO and/or does not scale ethnic. sent23: the pick is a plasmin. sent24: if something does not cut and/or it carpets buttonwood then the megagametophyte does carpets buttonwood. sent25: if the kike is not reasonable then the pick does scale ethnic.
sent1 -> int1: the pick is not reasonable if it is not a Cercopidae and it is a smoothbore.; int1 & sent5 -> int2: the pick is not reasonable.; int2 & sent10 -> int3: the pick does cure.; int3 & sent8 -> int4: the president intrigues WTO.; int4 & sent22 -> int5: the kike does not intrigue WTO and/or does not scale ethnic.; int5 & sent21 & sent7 -> hypothesis;
the buttonwood is not a plasmin.
sent17 -> int6: the buttonwood is not a plasmin if it cures and it is reasonable.; sent15 -> int7: if the president does not intrigue WTO and is descriptive it does scale ethnic.; sent12 & sent24 -> int8: the megagametophyte does carpet buttonwood.; int8 -> int9: there exists something such that it does carpet buttonwood.;
$hypothesis$ = the buttonwood is a plasmin. ; $context$ = sent1: if something that is not a Cercopidae is a kind of a smoothbore it is not reasonable. sent2: if the president does not intrigue WTO but it is reasonable then it is not a kind of a smoothbore. sent3: the kike does not cure if it is not a plasmin and it intrigues WTO. sent4: if the president does not cure but it does scale ethnic the buttonwood cure. sent5: the pick is not a Cercopidae but it is a kind of a smoothbore. sent6: the pick is unreasonable if it is a Cercopidae and is a smoothbore. sent7: the buttonwood is a kind of a plasmin if the kike does not scale ethnic. sent8: the president intrigues WTO if the pick does cure. sent9: the president is a plasmin. sent10: if the pick is not reasonable the fact that it does cure is not false. sent11: the kike is reasonable. sent12: something is not a kind of a cut and/or does carpet buttonwood. sent13: the Chase does not intrigue WTO. sent14: the kike is a Cercopidae if it does not intrigue WTO. sent15: if something does not intrigue WTO and is descriptive the fact that it does scale ethnic hold. sent16: the president does not cure. sent17: if something that does cure is reasonable that it is not a kind of a plasmin is true. sent18: the buttonwood is reasonable. sent19: the kike is reasonable if the pick does not scale ethnic. sent20: the buttonwood is reasonable if the kike is not a card but it is cloudy. sent21: the buttonwood is a plasmin if the kike does not intrigue WTO. sent22: if the president does intrigue WTO then the kike does not intrigue WTO and/or does not scale ethnic. sent23: the pick is a plasmin. sent24: if something does not cut and/or it carpets buttonwood then the megagametophyte does carpets buttonwood. sent25: if the kike is not reasonable then the pick does scale ethnic. ; $proof$ = 
sent1 -> int1: the pick is not reasonable if it is not a Cercopidae and it is a smoothbore.; int1 & sent5 -> int2: the pick is not reasonable.; int2 & sent10 -> int3: the pick does cure.; int3 & sent8 -> int4: the president intrigues WTO.; int4 & sent22 -> int5: the kike does not intrigue WTO and/or does not scale ethnic.; int5 & sent21 & sent7 -> hypothesis; __PROVED__