the heterometabolism is a touch-me-not and/or exploratory.
sent1: if something is predicative it is a maker. sent2: the heterometabolism does shillyshally. sent3: the heterometabolism is not nonextant. sent4: if something is a kind of a maker then it is a touch-me-not. sent5: if there exists something such that it is a quarto then the heterometabolism is a kind of non-neocortical thing that is not a Scorpaenidae. sent6: if something is not sociological it is unreactive. sent7: the vibrator is exploratory. sent8: the algometer is a Scorpaenidae. sent9: the heterometabolism is a cut or witnesses or both. sent10: the heterometabolism is a kind of a Naja. sent11: something that is not neocortical is predicative. sent12: the heterometabolism is a telecast if the fact that it does not refit hold. sent13: that something is a VIP is true if it is exploratory. sent14: that the heterometabolism is a kind of a branched is not false. sent15: the fact that the heterometabolism is not intercostal does not hold if it is exploratory. sent16: if something is not a Hedysarum it is a Hedera. sent17: the heterometabolism is exploratory and/or it does even bunion. sent18: the heterometabolism does outshout algometer. sent19: something is neocortical if it is a Scorpaenidae. sent20: something is a carport if it is a kind of a bookdealer. sent21: the fact that something is a Scorpaenidae and not neocortical is not right if it is predicative. sent22: there is something such that the fact that it is a quarto is right. sent23: the transcendentalist is not a check and does not even bunion if something does even obtuseness. sent24: the grouseberry does not outshout Klamath and is not a touch-me-not if something is Gilbertian. sent25: if the heterometabolism is not a kind of a Scorpaenidae then it is not non-supervisory.
sent22 & sent5 -> int1: the heterometabolism is not neocortical and it is not a Scorpaenidae.; int1 -> int2: the heterometabolism is not neocortical.; sent11 -> int3: the heterometabolism is predicative if that it is not neocortical is correct.; int2 & int3 -> int4: the heterometabolism is predicative.; sent1 -> int5: the heterometabolism is a maker if it is predicative.; int4 & int5 -> int6: the heterometabolism is a kind of a maker.; sent4 -> int7: if the heterometabolism is a maker it is a touch-me-not.; int6 & int7 -> int8: the fact that the heterometabolism is a touch-me-not hold.; int8 -> hypothesis;
the fact that the seaplane is a VIP is true if it is exploratory.
sent13 -> hypothesis;
$hypothesis$ = the heterometabolism is a touch-me-not and/or exploratory. ; $context$ = sent1: if something is predicative it is a maker. sent2: the heterometabolism does shillyshally. sent3: the heterometabolism is not nonextant. sent4: if something is a kind of a maker then it is a touch-me-not. sent5: if there exists something such that it is a quarto then the heterometabolism is a kind of non-neocortical thing that is not a Scorpaenidae. sent6: if something is not sociological it is unreactive. sent7: the vibrator is exploratory. sent8: the algometer is a Scorpaenidae. sent9: the heterometabolism is a cut or witnesses or both. sent10: the heterometabolism is a kind of a Naja. sent11: something that is not neocortical is predicative. sent12: the heterometabolism is a telecast if the fact that it does not refit hold. sent13: that something is a VIP is true if it is exploratory. sent14: that the heterometabolism is a kind of a branched is not false. sent15: the fact that the heterometabolism is not intercostal does not hold if it is exploratory. sent16: if something is not a Hedysarum it is a Hedera. sent17: the heterometabolism is exploratory and/or it does even bunion. sent18: the heterometabolism does outshout algometer. sent19: something is neocortical if it is a Scorpaenidae. sent20: something is a carport if it is a kind of a bookdealer. sent21: the fact that something is a Scorpaenidae and not neocortical is not right if it is predicative. sent22: there is something such that the fact that it is a quarto is right. sent23: the transcendentalist is not a check and does not even bunion if something does even obtuseness. sent24: the grouseberry does not outshout Klamath and is not a touch-me-not if something is Gilbertian. sent25: if the heterometabolism is not a kind of a Scorpaenidae then it is not non-supervisory. ; $proof$ = 
sent22 & sent5 -> int1: the heterometabolism is not neocortical and it is not a Scorpaenidae.; int1 -> int2: the heterometabolism is not neocortical.; sent11 -> int3: the heterometabolism is predicative if that it is not neocortical is correct.; int2 & int3 -> int4: the heterometabolism is predicative.; sent1 -> int5: the heterometabolism is a maker if it is predicative.; int4 & int5 -> int6: the heterometabolism is a kind of a maker.; sent4 -> int7: if the heterometabolism is a maker it is a touch-me-not.; int6 & int7 -> int8: the fact that the heterometabolism is a touch-me-not hold.; int8 -> hypothesis; __PROVED__