the fact that the violist is not a rub but it is a kind of a potion does not hold.
sent1: if the uniform rubs then the violist is a potion. sent2: if something scoffs tipster it is mores. sent3: something is a potion if it rubs. sent4: the antagonist is staccato. sent5: the uniform is a boom. sent6: a lapidary is a spectrometer. sent7: if the fact that the hydrocolloid is lapidary hold the antagonist spells. sent8: the megalocyte is a spectrometer. sent9: if the uniform is a lapidary the hydrocolloid is a spectrometer. sent10: if something rubs it is a scurvy. sent11: that the fact that the violist does rub and it is a potion is not wrong is incorrect. sent12: the uniform is a potion if the violist is a spectrometer. sent13: if something is a scurvy it is not non-lapidary. sent14: if the uniform is a potion then the fact that the violist is not a kind of a rub and is a potion is incorrect. sent15: if the uniform rubs the violist is a kind of a spectrometer. sent16: the hydrocolloid is not a kind of a scurvy. sent17: the hydrocolloid is not a scurvy but it is a kind of a lapidary. sent18: if the antagonist is a spectrometer then the uniform does spell. sent19: if the uniform is a kind of a potion then the fact that the violist does rub and is a potion is false. sent20: a spectrometer is a potion. sent21: the uniform is a kind of a spectrometer if the antagonist spells. sent22: the antagonist is a spectrometer.
sent17 -> int1: the hydrocolloid is a kind of a lapidary.; int1 & sent7 -> int2: the antagonist is a kind of a spell.; int2 & sent21 -> int3: the uniform is a spectrometer.; sent20 -> int4: the uniform is a potion if it is a spectrometer.; int3 & int4 -> int5: the uniform is a kind of a potion.; int5 & sent14 -> hypothesis;
$hypothesis$ = the fact that the violist is not a rub but it is a kind of a potion does not hold. ; $context$ = sent1: if the uniform rubs then the violist is a potion. sent2: if something scoffs tipster it is mores. sent3: something is a potion if it rubs. sent4: the antagonist is staccato. sent5: the uniform is a boom. sent6: a lapidary is a spectrometer. sent7: if the fact that the hydrocolloid is lapidary hold the antagonist spells. sent8: the megalocyte is a spectrometer. sent9: if the uniform is a lapidary the hydrocolloid is a spectrometer. sent10: if something rubs it is a scurvy. sent11: that the fact that the violist does rub and it is a potion is not wrong is incorrect. sent12: the uniform is a potion if the violist is a spectrometer. sent13: if something is a scurvy it is not non-lapidary. sent14: if the uniform is a potion then the fact that the violist is not a kind of a rub and is a potion is incorrect. sent15: if the uniform rubs the violist is a kind of a spectrometer. sent16: the hydrocolloid is not a kind of a scurvy. sent17: the hydrocolloid is not a scurvy but it is a kind of a lapidary. sent18: if the antagonist is a spectrometer then the uniform does spell. sent19: if the uniform is a kind of a potion then the fact that the violist does rub and is a potion is false. sent20: a spectrometer is a potion. sent21: the uniform is a kind of a spectrometer if the antagonist spells. sent22: the antagonist is a spectrometer. ; $proof$ = 
sent17 -> int1: the hydrocolloid is a kind of a lapidary.; int1 & sent7 -> int2: the antagonist is a kind of a spell.; int2 & sent21 -> int3: the uniform is a spectrometer.; sent20 -> int4: the uniform is a potion if it is a spectrometer.; int3 & int4 -> int5: the uniform is a kind of a potion.; int5 & sent14 -> hypothesis; __PROVED__