the rambler does not mediate.
sent1: if the hipbone is not mucopurulent either it is not a Montpelier or it is not a Australian or both. sent2: if that the streptothricin does not devoice shipway and is not a theodicy is not correct the hipbone does not outsell Snellen. sent3: the hipbone is not mucopurulent. sent4: something does not outsell Snellen and/or it is a heliosphere if it is not a predictor. sent5: that the macadamia does not devoice West but it is intestinal is not true. sent6: The fact that the Snellen does outsell hipbone is not false. sent7: something that is not a kind of a Montpelier or is not a Australian or both is not a Australian. sent8: if something is a heliosphere that it is not a runner-up and it is not a kind of a theodicy is incorrect. sent9: the rambler is not mediate if it is not a kind of a Australian. sent10: if something is not a kind of a heliosphere then it is not a Australian and it is a predictor. sent11: something is a heliosphere if the fact that it does outsell Snellen and is not a heliosphere is not correct. sent12: the fact that the hipbone does outsell Snellen is not false.
void -> assump1: Let's assume that that the streptothricin does not devoice shipway and it is not a theodicy is not right.; sent2 & assump1 -> int1: the hipbone does not outsell Snellen.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the streptothricin does not devoice shipway and is not a kind of a theodicy.; sent10 -> int4: the rambler is non-Australian a predictor if it is not a kind of a heliosphere.;
the fact that the rambler is not a runner-up and it is not a theodicy does not hold.
sent8 -> int5: the fact that the fact that the rambler is not a runner-up and is not a theodicy is correct is not right if it is a kind of a heliosphere.; sent11 -> int6: if that the rambler outsells Snellen but it is not a heliosphere is incorrect it is a heliosphere.;
$hypothesis$ = the rambler does not mediate. ; $context$ = sent1: if the hipbone is not mucopurulent either it is not a Montpelier or it is not a Australian or both. sent2: if that the streptothricin does not devoice shipway and is not a theodicy is not correct the hipbone does not outsell Snellen. sent3: the hipbone is not mucopurulent. sent4: something does not outsell Snellen and/or it is a heliosphere if it is not a predictor. sent5: that the macadamia does not devoice West but it is intestinal is not true. sent6: The fact that the Snellen does outsell hipbone is not false. sent7: something that is not a kind of a Montpelier or is not a Australian or both is not a Australian. sent8: if something is a heliosphere that it is not a runner-up and it is not a kind of a theodicy is incorrect. sent9: the rambler is not mediate if it is not a kind of a Australian. sent10: if something is not a kind of a heliosphere then it is not a Australian and it is a predictor. sent11: something is a heliosphere if the fact that it does outsell Snellen and is not a heliosphere is not correct. sent12: the fact that the hipbone does outsell Snellen is not false. ; $proof$ = 
void -> assump1: Let's assume that that the streptothricin does not devoice shipway and it is not a theodicy is not right.; sent2 & assump1 -> int1: the hipbone does not outsell Snellen.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the streptothricin does not devoice shipway and is not a kind of a theodicy.; sent10 -> int4: the rambler is non-Australian a predictor if it is not a kind of a heliosphere.; __UNKNOWN__