the fact that the guaiacum is less thing that does not nod fivepence does not hold.
sent1: something disrupts if it does not consecrate. sent2: if something is erythroid then it is less. sent3: the fact that the guaiacum is a GB hold. sent4: that the guaiacum is less thing that does not nod fivepence is false if it is not a GB. sent5: that the guaiacum crooks coccidium hold. sent6: That the coccidium crooks guaiacum hold. sent7: if a GB does crook coccidium then it does not offload. sent8: something is less but it does not nod fivepence if it is erythroid. sent9: the cornmeal does nod fivepence. sent10: the guaiacum is a raise. sent11: something is erythroid if it does not offload. sent12: the guaiacum is less if it is erythroid. sent13: if the guaiacum does raise the cytophotometer is a raise. sent14: the guaiacum is not non-less. sent15: if the guaiacum is a kind of a GB and it is fractional it is not a steps.
sent3 & sent5 -> int1: the guaiacum is a GB and it does crook coccidium.; sent7 -> int2: the guaiacum does not offload if it is a GB and does crook coccidium.; int1 & int2 -> int3: the guaiacum does not offload.; sent11 -> int4: if the guaiacum does not offload then it is erythroid.; int3 & int4 -> int5: the fact that the guaiacum is erythroid hold.; sent8 -> int6: if the guaiacum is not non-erythroid then it is less and it does not nod fivepence.; int5 & int6 -> hypothesis;
that the guaiacum is less thing that does not nod fivepence is wrong.
$hypothesis$ = the fact that the guaiacum is less thing that does not nod fivepence does not hold. ; $context$ = sent1: something disrupts if it does not consecrate. sent2: if something is erythroid then it is less. sent3: the fact that the guaiacum is a GB hold. sent4: that the guaiacum is less thing that does not nod fivepence is false if it is not a GB. sent5: that the guaiacum crooks coccidium hold. sent6: That the coccidium crooks guaiacum hold. sent7: if a GB does crook coccidium then it does not offload. sent8: something is less but it does not nod fivepence if it is erythroid. sent9: the cornmeal does nod fivepence. sent10: the guaiacum is a raise. sent11: something is erythroid if it does not offload. sent12: the guaiacum is less if it is erythroid. sent13: if the guaiacum does raise the cytophotometer is a raise. sent14: the guaiacum is not non-less. sent15: if the guaiacum is a kind of a GB and it is fractional it is not a steps. ; $proof$ = 
sent3 & sent5 -> int1: the guaiacum is a GB and it does crook coccidium.; sent7 -> int2: the guaiacum does not offload if it is a GB and does crook coccidium.; int1 & int2 -> int3: the guaiacum does not offload.; sent11 -> int4: if the guaiacum does not offload then it is erythroid.; int3 & int4 -> int5: the fact that the guaiacum is erythroid hold.; sent8 -> int6: if the guaiacum is not non-erythroid then it is less and it does not nod fivepence.; int5 & int6 -> hypothesis; __DISPROVED__