the ultracentrifugation is not a kind of an ogress.
sent1: a zoonotic thing is a kind of an ogress. sent2: that if the shipowner does silt then the ultracentrifugation is zoonotic hold. sent3: something is not an ogress if it wraps thallium. sent4: the shipowner silts if the racerunner wraps thallium. sent5: there exists something such that the fact that it is ovoviviparous and/or it constructs shipowner is not correct. sent6: if there is something such that that either it wraps thallium or it is a kind of an ogress or both does not hold then the ultracentrifugation is zoonotic. sent7: the racerunner wraps thallium if there exists something such that the fact that that it is ovoviviparous or it constructs shipowner or both is not false does not hold.
sent5 & sent7 -> int1: the racerunner wraps thallium.; int1 & sent4 -> int2: the shipowner is a silt.; int2 & sent2 -> int3: that the ultracentrifugation is zoonotic is right.; sent1 -> int4: if the ultracentrifugation is zoonotic the fact that it is an ogress is not incorrect.; int3 & int4 -> hypothesis;
the ultracentrifugation is not an ogress.
sent3 -> int5: the ultracentrifugation is not an ogress if it does wrap thallium.;
$hypothesis$ = the ultracentrifugation is not a kind of an ogress. ; $context$ = sent1: a zoonotic thing is a kind of an ogress. sent2: that if the shipowner does silt then the ultracentrifugation is zoonotic hold. sent3: something is not an ogress if it wraps thallium. sent4: the shipowner silts if the racerunner wraps thallium. sent5: there exists something such that the fact that it is ovoviviparous and/or it constructs shipowner is not correct. sent6: if there is something such that that either it wraps thallium or it is a kind of an ogress or both does not hold then the ultracentrifugation is zoonotic. sent7: the racerunner wraps thallium if there exists something such that the fact that that it is ovoviviparous or it constructs shipowner or both is not false does not hold. ; $proof$ = 
sent5 & sent7 -> int1: the racerunner wraps thallium.; int1 & sent4 -> int2: the shipowner is a silt.; int2 & sent2 -> int3: that the ultracentrifugation is zoonotic is right.; sent1 -> int4: if the ultracentrifugation is zoonotic the fact that it is an ogress is not incorrect.; int3 & int4 -> hypothesis; __DISPROVED__