the radiogram is revivalistic thing that is not a kind of a skirret.
sent1: the oilcan is a kind of a skirret. sent2: the Tungusic does flock oilcan. sent3: The oilcan does flock Tungusic. sent4: if the oilcan is not Zoroastrian the fact that the radiogram is revivalistic thing that is not a skirret is incorrect. sent5: the fact that the oilcan is both not a Zoroastrian and not non-millenary is right if the Tungusic flocks oilcan. sent6: something that flocks oilcan is both revivalistic and not a skirret.
sent5 & sent2 -> int1: the oilcan is not a Zoroastrian but it is a kind of a millenary.; int1 -> int2: the oilcan is not a Zoroastrian.; sent4 & int2 -> hypothesis;
the radiogram is both not non-revivalistic and not a skirret.
sent6 -> int3: the radiogram is revivalistic but it is not a skirret if it does flock oilcan.;
$hypothesis$ = the radiogram is revivalistic thing that is not a kind of a skirret. ; $context$ = sent1: the oilcan is a kind of a skirret. sent2: the Tungusic does flock oilcan. sent3: The oilcan does flock Tungusic. sent4: if the oilcan is not Zoroastrian the fact that the radiogram is revivalistic thing that is not a skirret is incorrect. sent5: the fact that the oilcan is both not a Zoroastrian and not non-millenary is right if the Tungusic flocks oilcan. sent6: something that flocks oilcan is both revivalistic and not a skirret. ; $proof$ = 
sent5 & sent2 -> int1: the oilcan is not a Zoroastrian but it is a kind of a millenary.; int1 -> int2: the oilcan is not a Zoroastrian.; sent4 & int2 -> hypothesis; __DISPROVED__