the marker gathers sugarplum.
sent1: something is abasic thing that is nebular. sent2: if the fact that something is not a Lophophorus and it is not a Medawar is not right then it is a kind of a topped. sent3: that something is not a Lophophorus and it is not a Medawar is incorrect if that it is not earthen is true. sent4: the trudger is not earthen if there exists something such that it is abasic but not nebular. sent5: the marker does not gather sugarplum if that it is abasic and it is not nebular is incorrect. sent6: if that the trudger is a topped hold then the cockchafer is not a kind of a topped and it does not gather shaft. sent7: that the cockchafer does not top and it does not gather shaft is not correct. sent8: there is something such that that it is not nebular is correct.
void -> assump1: Let's assume that the marker is abasic and not nebular.; assump1 -> int1: something is abasic but it is not nebular.; int1 & sent4 -> int2: the trudger is not earthen.; sent3 -> int3: that the trudger is not a Lophophorus and is not a Medawar does not hold if the fact that it is not earthen is not incorrect.; int2 & int3 -> int4: that the trudger is not a Lophophorus and not a Medawar is wrong.; sent2 -> int5: if that the trudger is not a Lophophorus and not a Medawar is not true it does top.; int4 & int5 -> int6: the trudger is topped.; int6 & sent6 -> int7: the cockchafer is a kind of non-topped thing that does not gather shaft.; int7 & sent7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the marker is abasic and is not nebular does not hold.; int9 & sent5 -> hypothesis;
$hypothesis$ = the marker gathers sugarplum. ; $context$ = sent1: something is abasic thing that is nebular. sent2: if the fact that something is not a Lophophorus and it is not a Medawar is not right then it is a kind of a topped. sent3: that something is not a Lophophorus and it is not a Medawar is incorrect if that it is not earthen is true. sent4: the trudger is not earthen if there exists something such that it is abasic but not nebular. sent5: the marker does not gather sugarplum if that it is abasic and it is not nebular is incorrect. sent6: if that the trudger is a topped hold then the cockchafer is not a kind of a topped and it does not gather shaft. sent7: that the cockchafer does not top and it does not gather shaft is not correct. sent8: there is something such that that it is not nebular is correct. ; $proof$ = 
void -> assump1: Let's assume that the marker is abasic and not nebular.; assump1 -> int1: something is abasic but it is not nebular.; int1 & sent4 -> int2: the trudger is not earthen.; sent3 -> int3: that the trudger is not a Lophophorus and is not a Medawar does not hold if the fact that it is not earthen is not incorrect.; int2 & int3 -> int4: that the trudger is not a Lophophorus and not a Medawar is wrong.; sent2 -> int5: if that the trudger is not a Lophophorus and not a Medawar is not true it does top.; int4 & int5 -> int6: the trudger is topped.; int6 & sent6 -> int7: the cockchafer is a kind of non-topped thing that does not gather shaft.; int7 & sent7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the marker is abasic and is not nebular does not hold.; int9 & sent5 -> hypothesis; __DISPROVED__