if the Yquem pouts then the front-runner is rhizoidal and/or not returnable.
sent1: if something is prolix the fact that it is mutable is not incorrect. sent2: the scoreboard is returnable and/or it is not prolix. sent3: the front-runner is either rhizoidal or prolix or both if the clubroom does wow baffled. sent4: the Yquem is rhizoidal and/or it does not pout if the front-runner is not a pout. sent5: that the front-runner is either returnable or prolix or both hold. sent6: a mutable thing is returnable. sent7: the scoreboard is rhizoidal. sent8: the fact that the scoreboard is not returnable is true if something wows baffled. sent9: if the Yquem is a pout then the clubroom is prolix. sent10: the scoreboard is not returnable if something is mutable and/or it wows baffled. sent11: if the scoreboard is not returnable either the front-runner is rhizoidal or it is returnable or both. sent12: that the front-runner is rhizoidal and/or it is nonreturnable is right if the scoreboard is not nonreturnable.
void -> assump1: Let's assume that the Yquem does pout.; sent9 & assump1 -> int1: the clubroom is prolix.; sent1 -> int2: if the clubroom is prolix it is mutable.; int1 & int2 -> int3: the clubroom is mutable.; int3 -> int4: the clubroom is mutable and/or does wow baffled.; int4 -> int5: something is mutable and/or it does wow baffled.; int5 & sent10 -> int6: the scoreboard is not returnable.; int6 & sent12 -> int7: the front-runner is rhizoidal or it is not returnable or both.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the Yquem pouts then the front-runner is rhizoidal and/or not returnable. ; $context$ = sent1: if something is prolix the fact that it is mutable is not incorrect. sent2: the scoreboard is returnable and/or it is not prolix. sent3: the front-runner is either rhizoidal or prolix or both if the clubroom does wow baffled. sent4: the Yquem is rhizoidal and/or it does not pout if the front-runner is not a pout. sent5: that the front-runner is either returnable or prolix or both hold. sent6: a mutable thing is returnable. sent7: the scoreboard is rhizoidal. sent8: the fact that the scoreboard is not returnable is true if something wows baffled. sent9: if the Yquem is a pout then the clubroom is prolix. sent10: the scoreboard is not returnable if something is mutable and/or it wows baffled. sent11: if the scoreboard is not returnable either the front-runner is rhizoidal or it is returnable or both. sent12: that the front-runner is rhizoidal and/or it is nonreturnable is right if the scoreboard is not nonreturnable. ; $proof$ = 
void -> assump1: Let's assume that the Yquem does pout.; sent9 & assump1 -> int1: the clubroom is prolix.; sent1 -> int2: if the clubroom is prolix it is mutable.; int1 & int2 -> int3: the clubroom is mutable.; int3 -> int4: the clubroom is mutable and/or does wow baffled.; int4 -> int5: something is mutable and/or it does wow baffled.; int5 & sent10 -> int6: the scoreboard is not returnable.; int6 & sent12 -> int7: the front-runner is rhizoidal or it is not returnable or both.; [assump1] & int7 -> hypothesis; __PROVED__