the thalidomide is a kind of a bundle.
sent1: the resorcinol does not mask denseness and/or is a kind of a harmony. sent2: if that the oviduct is not a kind of a bradawl hold the thalidomide is not a kind of a bradawl and jams agglomerate. sent3: if something masks denseness and is a bradawl it is not a kind of a harmony. sent4: the oviduct is not a bradawl if that it is not a kind of a rifle or is a sawfish or both is not true. sent5: there exists something such that that it is not a recapture and it is tubercular is not right. sent6: the teakettle tyrannizes hovercraft if that it is non-thyrotoxic thing that is not dimensional is not true. sent7: if the resorcinol is tubercular the fact that it does not mask denseness and/or it is a kind of a harmony is false. sent8: if the thalidomide is not a bradawl and jams agglomerate then the fact that it is not a bundle is not incorrect. sent9: the fact that the oviduct does not mean or is tubercular or both does not hold if there exists something such that it is not a harmony. sent10: the rootstock does not bundle if there is something such that that it does tyrannize hovercraft is not wrong. sent11: the resorcinol does mask denseness and it is a bradawl if the thalidomide does not jam agglomerate. sent12: if a non-tubercular thing is a harmony it is a bundle. sent13: the fact that the teakettle is not thyrotoxic and it is not dimensional does not hold. sent14: if there is something such that either it is not a rifle or it is a sawfish or both then that the resorcinol is tubercular hold.
void -> assump1: Let's assume that the oviduct is not a rifle or a sawfish or both.; assump1 -> int1: something does not rifle or is a sawfish or both.; int1 & sent14 -> int2: the resorcinol is tubercular.; int2 & sent7 -> int3: the fact that the resorcinol does not mask denseness or is a harmony or both is false.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the oviduct is not a kind of a rifle and/or it is a kind of a sawfish is wrong.; int5 & sent4 -> int6: the oviduct is not a bradawl.; int6 & sent2 -> int7: the thalidomide is not a bradawl and jams agglomerate.; int7 & sent8 -> hypothesis;
the fact that the oviduct does not mean and/or it is tubercular is not true.
sent3 -> int8: the resorcinol is not a harmony if it does mask denseness and it is a kind of a bradawl.; sent6 & sent13 -> int9: the teakettle does tyrannize hovercraft.; int9 -> int10: there exists something such that it tyrannizes hovercraft.; int10 & sent10 -> int11: the rootstock is not a kind of a bundle.; int11 -> int12: the rootstock does not bundle and/or it is not a recapture.; int12 -> int13: something is not a bundle or it is not a kind of a recapture or both.;
$hypothesis$ = the thalidomide is a kind of a bundle. ; $context$ = sent1: the resorcinol does not mask denseness and/or is a kind of a harmony. sent2: if that the oviduct is not a kind of a bradawl hold the thalidomide is not a kind of a bradawl and jams agglomerate. sent3: if something masks denseness and is a bradawl it is not a kind of a harmony. sent4: the oviduct is not a bradawl if that it is not a kind of a rifle or is a sawfish or both is not true. sent5: there exists something such that that it is not a recapture and it is tubercular is not right. sent6: the teakettle tyrannizes hovercraft if that it is non-thyrotoxic thing that is not dimensional is not true. sent7: if the resorcinol is tubercular the fact that it does not mask denseness and/or it is a kind of a harmony is false. sent8: if the thalidomide is not a bradawl and jams agglomerate then the fact that it is not a bundle is not incorrect. sent9: the fact that the oviduct does not mean or is tubercular or both does not hold if there exists something such that it is not a harmony. sent10: the rootstock does not bundle if there is something such that that it does tyrannize hovercraft is not wrong. sent11: the resorcinol does mask denseness and it is a bradawl if the thalidomide does not jam agglomerate. sent12: if a non-tubercular thing is a harmony it is a bundle. sent13: the fact that the teakettle is not thyrotoxic and it is not dimensional does not hold. sent14: if there is something such that either it is not a rifle or it is a sawfish or both then that the resorcinol is tubercular hold. ; $proof$ = 
void -> assump1: Let's assume that the oviduct is not a rifle or a sawfish or both.; assump1 -> int1: something does not rifle or is a sawfish or both.; int1 & sent14 -> int2: the resorcinol is tubercular.; int2 & sent7 -> int3: the fact that the resorcinol does not mask denseness or is a harmony or both is false.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the oviduct is not a kind of a rifle and/or it is a kind of a sawfish is wrong.; int5 & sent4 -> int6: the oviduct is not a bradawl.; int6 & sent2 -> int7: the thalidomide is not a bradawl and jams agglomerate.; int7 & sent8 -> hypothesis; __DISPROVED__