the bitumen is not a vagary.
sent1: something is a loach if it is not a buckram. sent2: the bitumen is flowery. sent3: if something that is a kind of a loach is a quintessence then the bitumen roofs. sent4: if the penologist is not a buckram it is a loach. sent5: if the fact that the bitumen is not a vagary and is a loach is wrong then it is flowery. sent6: the penologist is a quintessence. sent7: if a loach is a kind of a vagary then the bitumen buckrams. sent8: if that something is not flowery and buckrams does not hold it is a loach. sent9: something is a vagary if it is a kind of a roof. sent10: there exists something such that it is a kind of a Sunbelt. sent11: the fact that the bitumen is a loach is not false. sent12: the insemination is a kind of a quintessence. sent13: the penologist is a kind of a vagary if the fact that it is not a buckram and is flowery does not hold. sent14: the penologist is flowery. sent15: the aplite is a roof. sent16: a born is exegetic. sent17: the penologist is a kind of a quintessence if the fact that it is both not a roof and a vagary does not hold.
void -> assump1: Let's assume that the penologist is non-flowery thing that is a buckram.; assump1 -> int1: that the penologist is not flowery is true.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the penologist is not flowery and is a buckram is not right.; sent8 -> int4: if that the penologist is not flowery and is a kind of a buckram is wrong then it is a loach.; int3 & int4 -> int5: the penologist is a kind of a loach.; int5 & sent6 -> int6: the penologist is a loach and it is a kind of a quintessence.; int6 -> int7: there exists something such that the fact that it is both a loach and a quintessence is not wrong.; int7 & sent3 -> int8: the bitumen does roof.; sent9 -> int9: if the bitumen is a roof then that it is a vagary is true.; int8 & int9 -> hypothesis;
$hypothesis$ = the bitumen is not a vagary. ; $context$ = sent1: something is a loach if it is not a buckram. sent2: the bitumen is flowery. sent3: if something that is a kind of a loach is a quintessence then the bitumen roofs. sent4: if the penologist is not a buckram it is a loach. sent5: if the fact that the bitumen is not a vagary and is a loach is wrong then it is flowery. sent6: the penologist is a quintessence. sent7: if a loach is a kind of a vagary then the bitumen buckrams. sent8: if that something is not flowery and buckrams does not hold it is a loach. sent9: something is a vagary if it is a kind of a roof. sent10: there exists something such that it is a kind of a Sunbelt. sent11: the fact that the bitumen is a loach is not false. sent12: the insemination is a kind of a quintessence. sent13: the penologist is a kind of a vagary if the fact that it is not a buckram and is flowery does not hold. sent14: the penologist is flowery. sent15: the aplite is a roof. sent16: a born is exegetic. sent17: the penologist is a kind of a quintessence if the fact that it is both not a roof and a vagary does not hold. ; $proof$ = 
void -> assump1: Let's assume that the penologist is non-flowery thing that is a buckram.; assump1 -> int1: that the penologist is not flowery is true.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the penologist is not flowery and is a buckram is not right.; sent8 -> int4: if that the penologist is not flowery and is a kind of a buckram is wrong then it is a loach.; int3 & int4 -> int5: the penologist is a kind of a loach.; int5 & sent6 -> int6: the penologist is a loach and it is a kind of a quintessence.; int6 -> int7: there exists something such that the fact that it is both a loach and a quintessence is not wrong.; int7 & sent3 -> int8: the bitumen does roof.; sent9 -> int9: if the bitumen is a roof then that it is a vagary is true.; int8 & int9 -> hypothesis; __DISPROVED__