the Firth is not a dispensary but it is a BMR.
sent1: if something is an overturn then it is subtractive. sent2: a maxillary thing is a BMR. sent3: the marginalization is dumpy. sent4: if the floating-moss is subtractive the sophomore is subtractive. sent5: the floating-moss is not subtractive. sent6: the wood-fern is a dispensary if a BMR does powwow anteroom. sent7: the fact that the aspirin is a kind of a Torah does not hold. sent8: if there exists something such that it pitches tier and it is a originalism then the suspensory is maxillary. sent9: the Firth is not a kind of a dispensary if the wood-fern is a dispensary. sent10: the suspensory powwows anteroom if there is something such that the fact that it is not a Londoner and not a baffle does not hold. sent11: the Firth is both not a dispensary and a BMR if the floating-moss is not a dispensary. sent12: the floating-moss overturns if it is a kind of a dispensary. sent13: the fact that the marginalization is not a Londoner and not a baffle is wrong if it is dumpy. sent14: the aspirin does pitch tier and is a redtail if it is not a Torah. sent15: the aspirin is a kind of a originalism.
void -> assump1: Let's assume that the floating-moss is a dispensary.; sent12 & assump1 -> int1: the floating-moss is an overturn.; sent1 -> int2: if the floating-moss is a kind of an overturn then it is subtractive.; int1 & int2 -> int3: the floating-moss is subtractive.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the floating-moss is not a dispensary.; int5 & sent11 -> hypothesis;
the sophomore is subtractive.
sent2 -> int6: if the suspensory is maxillary it is a kind of a BMR.; sent14 & sent7 -> int7: that the aspirin pitches tier and it is a redtail is not incorrect.; int7 -> int8: the aspirin does pitch tier.; int8 & sent15 -> int9: the aspirin pitches tier and it is a originalism.; int9 -> int10: something does pitch tier and it is a kind of a originalism.; int10 & sent8 -> int11: the suspensory is not non-maxillary.; int6 & int11 -> int12: the suspensory is a BMR.; sent13 & sent3 -> int13: that the marginalization is both not a Londoner and not a baffle is false.; int13 -> int14: there exists something such that the fact that that it is not a Londoner and it is not a kind of a baffle is right does not hold.; int14 & sent10 -> int15: the suspensory powwows anteroom.; int12 & int15 -> int16: the suspensory is a kind of a BMR that powwows anteroom.; int16 -> int17: there exists something such that it is a BMR and does powwow anteroom.; int17 & sent6 -> int18: the wood-fern is a dispensary.; sent9 & int18 -> int19: the Firth is not a dispensary.;
$hypothesis$ = the Firth is not a dispensary but it is a BMR. ; $context$ = sent1: if something is an overturn then it is subtractive. sent2: a maxillary thing is a BMR. sent3: the marginalization is dumpy. sent4: if the floating-moss is subtractive the sophomore is subtractive. sent5: the floating-moss is not subtractive. sent6: the wood-fern is a dispensary if a BMR does powwow anteroom. sent7: the fact that the aspirin is a kind of a Torah does not hold. sent8: if there exists something such that it pitches tier and it is a originalism then the suspensory is maxillary. sent9: the Firth is not a kind of a dispensary if the wood-fern is a dispensary. sent10: the suspensory powwows anteroom if there is something such that the fact that it is not a Londoner and not a baffle does not hold. sent11: the Firth is both not a dispensary and a BMR if the floating-moss is not a dispensary. sent12: the floating-moss overturns if it is a kind of a dispensary. sent13: the fact that the marginalization is not a Londoner and not a baffle is wrong if it is dumpy. sent14: the aspirin does pitch tier and is a redtail if it is not a Torah. sent15: the aspirin is a kind of a originalism. ; $proof$ = 
void -> assump1: Let's assume that the floating-moss is a dispensary.; sent12 & assump1 -> int1: the floating-moss is an overturn.; sent1 -> int2: if the floating-moss is a kind of an overturn then it is subtractive.; int1 & int2 -> int3: the floating-moss is subtractive.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the floating-moss is not a dispensary.; int5 & sent11 -> hypothesis; __PROVED__