the pinole is not a decibel.
sent1: the algin is a reserve that is centigrade. sent2: the pinole is a osteophyte. sent3: either the vicereine is nonvolatile or it is a tidiness or both. sent4: the pinole is a tidiness if the fact that the crofter is a kind of a compress and is not a kind of a columned is not right. sent5: the vicereine is nonvolatile if the centerfielder is nonviolent. sent6: the centerfielder is nonviolent. sent7: the vicereine is not nonvolatile if it is centigrade and/or is a kind of a compress. sent8: the fact that if the crofter is the compress then the crofter is not centigrade is true. sent9: the pinole is centigrade. sent10: that the pinole is a kind of a compress and it is a decibel is not true. sent11: the fact that the pinole is both a decibel and nonvolatile does not hold. sent12: if the crofter is not a compress the fact that the pinole is both a compress and a decibel is false. sent13: that the crofter is a compress but it is not a columned is not right if the vicereine is not a kind of a compress. sent14: the crofter is nonviolent. sent15: if something is a kind of a tidiness that is a osteophyte it is not a kind of a decibel.
void -> assump1: Let's assume that the vicereine compresses.; assump1 -> int1: the vicereine is centigrade and/or it is a compress.; int1 & sent7 -> int2: the fact that the vicereine is not nonvolatile is true.; sent5 & sent6 -> int3: the vicereine is nonvolatile.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the vicereine is not a kind of a compress.; int5 & sent13 -> int6: that the crofter does compress and is not a kind of a columned is incorrect.; int6 & sent4 -> int7: the pinole is a tidiness.; int7 & sent2 -> int8: the pinole is a kind of a tidiness and is a kind of a osteophyte.; sent15 -> int9: the pinole is not a decibel if it is a kind of a tidiness and it is a osteophyte.; int8 & int9 -> hypothesis;
$hypothesis$ = the pinole is not a decibel. ; $context$ = sent1: the algin is a reserve that is centigrade. sent2: the pinole is a osteophyte. sent3: either the vicereine is nonvolatile or it is a tidiness or both. sent4: the pinole is a tidiness if the fact that the crofter is a kind of a compress and is not a kind of a columned is not right. sent5: the vicereine is nonvolatile if the centerfielder is nonviolent. sent6: the centerfielder is nonviolent. sent7: the vicereine is not nonvolatile if it is centigrade and/or is a kind of a compress. sent8: the fact that if the crofter is the compress then the crofter is not centigrade is true. sent9: the pinole is centigrade. sent10: that the pinole is a kind of a compress and it is a decibel is not true. sent11: the fact that the pinole is both a decibel and nonvolatile does not hold. sent12: if the crofter is not a compress the fact that the pinole is both a compress and a decibel is false. sent13: that the crofter is a compress but it is not a columned is not right if the vicereine is not a kind of a compress. sent14: the crofter is nonviolent. sent15: if something is a kind of a tidiness that is a osteophyte it is not a kind of a decibel. ; $proof$ = 
void -> assump1: Let's assume that the vicereine compresses.; assump1 -> int1: the vicereine is centigrade and/or it is a compress.; int1 & sent7 -> int2: the fact that the vicereine is not nonvolatile is true.; sent5 & sent6 -> int3: the vicereine is nonvolatile.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the vicereine is not a kind of a compress.; int5 & sent13 -> int6: that the crofter does compress and is not a kind of a columned is incorrect.; int6 & sent4 -> int7: the pinole is a tidiness.; int7 & sent2 -> int8: the pinole is a kind of a tidiness and is a kind of a osteophyte.; sent15 -> int9: the pinole is not a decibel if it is a kind of a tidiness and it is a osteophyte.; int8 & int9 -> hypothesis; __PROVED__