the fact that the relict dangles parsley if the bolide is a kind of a mill is wrong.
sent1: if something that does guggle arbor is not a kind of a techie then the bolide is not a kind of a mill. sent2: if the tug is not a paramedic the dray does guggle arbor and is not a kind of a techie. sent3: that the dray is not a techie hold. sent4: something is not a techie. sent5: if the fact that either the arbor does not leap cannery or it is not a kind of a typification or both does not hold then the relict does dangle parsley. sent6: if there is something such that it does not leap cannery and/or it is not a typification the tug is not a kind of a paramedic.
void -> assump1: Let's assume that the bolide is a kind of a mill.; void -> assump2: Let's assume that either the arbor does not leap cannery or it is not a typification or both.; assump2 -> int1: either something does not leap cannery or it is not a typification or both.; int1 & sent6 -> int2: the tug is not a paramedic.; sent2 & int2 -> int3: the dray does guggle arbor and is not a techie.; int3 -> int4: something guggles arbor but it is not a kind of a techie.; int4 & sent1 -> int5: the bolide is not a mill.; assump1 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: that the arbor does not leap cannery or is not a kind of a typification or both is wrong.; sent5 & int7 -> int8: the relict does dangle parsley.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that the relict dangles parsley if the bolide is a kind of a mill is wrong. ; $context$ = sent1: if something that does guggle arbor is not a kind of a techie then the bolide is not a kind of a mill. sent2: if the tug is not a paramedic the dray does guggle arbor and is not a kind of a techie. sent3: that the dray is not a techie hold. sent4: something is not a techie. sent5: if the fact that either the arbor does not leap cannery or it is not a kind of a typification or both does not hold then the relict does dangle parsley. sent6: if there is something such that it does not leap cannery and/or it is not a typification the tug is not a kind of a paramedic. ; $proof$ = 
void -> assump1: Let's assume that the bolide is a kind of a mill.; void -> assump2: Let's assume that either the arbor does not leap cannery or it is not a typification or both.; assump2 -> int1: either something does not leap cannery or it is not a typification or both.; int1 & sent6 -> int2: the tug is not a paramedic.; sent2 & int2 -> int3: the dray does guggle arbor and is not a techie.; int3 -> int4: something guggles arbor but it is not a kind of a techie.; int4 & sent1 -> int5: the bolide is not a mill.; assump1 & int5 -> int6: this is contradiction.; [assump2] & int6 -> int7: that the arbor does not leap cannery or is not a kind of a typification or both is wrong.; sent5 & int7 -> int8: the relict does dangle parsley.; [assump1] & int8 -> hypothesis; __DISPROVED__