the retreat blues.
sent1: the phlogiston is genic if that the resolution is a stalk hold. sent2: the underperformer is weedless and/or it is a ketosteroid. sent3: the phycocyanin is not weedless if the rester roughs. sent4: the fact that the phycocyanin is weedless hold if the underperformer is a ketosteroid. sent5: the fact that the retreat is not collegiate or it does not jam volition or both is not right if the resolution does not stalk. sent6: the retreat is not a blue if that it is not collegiate and/or does not jam volition is false. sent7: the phycocyanin is weedless if the underperformer is weedless. sent8: that the rester is rough hold if that the phlogiston is genic is right.
void -> assump1: Let's assume that the resolution is a stalk.; sent1 & assump1 -> int1: the fact that the phlogiston is genic is right.; int1 & sent8 -> int2: the rester is not non-rough.; int2 & sent3 -> int3: the phycocyanin is not weedless.; sent2 & sent7 & sent4 -> int4: the phycocyanin is weedless.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the resolution is not a kind of a stalk.; int6 & sent5 -> int7: the fact that the retreat is not collegiate and/or it does not jam volition is incorrect.; int7 & sent6 -> hypothesis;
$hypothesis$ = the retreat blues. ; $context$ = sent1: the phlogiston is genic if that the resolution is a stalk hold. sent2: the underperformer is weedless and/or it is a ketosteroid. sent3: the phycocyanin is not weedless if the rester roughs. sent4: the fact that the phycocyanin is weedless hold if the underperformer is a ketosteroid. sent5: the fact that the retreat is not collegiate or it does not jam volition or both is not right if the resolution does not stalk. sent6: the retreat is not a blue if that it is not collegiate and/or does not jam volition is false. sent7: the phycocyanin is weedless if the underperformer is weedless. sent8: that the rester is rough hold if that the phlogiston is genic is right. ; $proof$ = 
void -> assump1: Let's assume that the resolution is a stalk.; sent1 & assump1 -> int1: the fact that the phlogiston is genic is right.; int1 & sent8 -> int2: the rester is not non-rough.; int2 & sent3 -> int3: the phycocyanin is not weedless.; sent2 & sent7 & sent4 -> int4: the phycocyanin is weedless.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the resolution is not a kind of a stalk.; int6 & sent5 -> int7: the fact that the retreat is not collegiate and/or it does not jam volition is incorrect.; int7 & sent6 -> hypothesis; __DISPROVED__