the gar is not a kind of a scraping.
sent1: if that something is not nonadsorbent but it is a bunchberry does not hold it scrapes. sent2: if there exists something such that the fact that it does not roll selva is not false the fact that the emcee is not a fecklessness and it does not freckle gleet does not hold. sent3: if that the emcee is a kind of a bunchberry is not wrong then the fact that it does not freckle gleet and it is a sideboard does not hold. sent4: that the gar is not a kind of a sideboard if the fact that the emcee is not a kind of a fecklessness and does not freckle gleet is false is correct. sent5: that the gar is nonadsorbent and it is a kind of a bunchberry does not hold. sent6: something does not roll selva. sent7: if the fact that the gar is a kind of an individual is correct the fact that it is nonadsorbent and it is a kind of a bunchberry is false. sent8: if the gar is an individual that it is not nonadsorbent and it is a bunchberry does not hold. sent9: the fact that the gar is not a sideboard and is not individual is wrong.
sent6 & sent2 -> int1: the fact that the emcee is not a kind of a fecklessness and it does not freckle gleet is not right.; int1 & sent4 -> int2: the gar is not a sideboard.; void -> assump1: Let's assume that that the gar is not an individual is right.; int2 & assump1 -> int3: the gar is not a sideboard and it is not an individual.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the gar is an individual.; int5 & sent8 -> int6: that the gar is a kind of adsorbent thing that is a kind of a bunchberry is incorrect.; sent1 -> int7: the gar is a scraping if the fact that it is not nonadsorbent and is a bunchberry is not correct.; int6 & int7 -> hypothesis;
$hypothesis$ = the gar is not a kind of a scraping. ; $context$ = sent1: if that something is not nonadsorbent but it is a bunchberry does not hold it scrapes. sent2: if there exists something such that the fact that it does not roll selva is not false the fact that the emcee is not a fecklessness and it does not freckle gleet does not hold. sent3: if that the emcee is a kind of a bunchberry is not wrong then the fact that it does not freckle gleet and it is a sideboard does not hold. sent4: that the gar is not a kind of a sideboard if the fact that the emcee is not a kind of a fecklessness and does not freckle gleet is false is correct. sent5: that the gar is nonadsorbent and it is a kind of a bunchberry does not hold. sent6: something does not roll selva. sent7: if the fact that the gar is a kind of an individual is correct the fact that it is nonadsorbent and it is a kind of a bunchberry is false. sent8: if the gar is an individual that it is not nonadsorbent and it is a bunchberry does not hold. sent9: the fact that the gar is not a sideboard and is not individual is wrong. ; $proof$ = 
sent6 & sent2 -> int1: the fact that the emcee is not a kind of a fecklessness and it does not freckle gleet is not right.; int1 & sent4 -> int2: the gar is not a sideboard.; void -> assump1: Let's assume that that the gar is not an individual is right.; int2 & assump1 -> int3: the gar is not a sideboard and it is not an individual.; int3 & sent9 -> int4: this is contradiction.; [assump1] & int4 -> int5: the gar is an individual.; int5 & sent8 -> int6: that the gar is a kind of adsorbent thing that is a kind of a bunchberry is incorrect.; sent1 -> int7: the gar is a scraping if the fact that it is not nonadsorbent and is a bunchberry is not correct.; int6 & int7 -> hypothesis; __DISPROVED__