the greenfly does not scowl.
sent1: the greenfly does prepose Cassiopeia and/or it sojourns if the tung is not a telefilm. sent2: if that something is a highjacker or it is a penult or both is wrong then it is not a kind of a telefilm. sent3: the fact that the tung is not a kind of a highjacker and/or is a kind of a penult does not hold. sent4: the tung sojourns if it is not a highjacker. sent5: something preposes hydroxychloroquine if it is not heliocentric. sent6: if the fact that the hydroxychloroquine is non-monoecious a Zimbabwean is wrong the greenfly is not non-monoecious. sent7: if that the tung is either a highjacker or a penult or both does not hold it is not a kind of a telefilm. sent8: if the tung is not a telefilm then the greenfly does not prepose Cassiopeia or sojourns or both. sent9: something sojourns and is obligational if it is not monoecious. sent10: something that does sojourn is a telefilm or does not prepose Cassiopeia or both. sent11: the greenfly preposes Cassiopeia or it sojourns or both. sent12: if the fact that the hydroxychloroquine does not immigrate is not false then that it is both non-monoecious and not non-Zimbabwean is not right. sent13: something is not a kind of a telefilm if that it either is not a highjacker or is a penult or both is not right. sent14: the tung is a highjacker. sent15: if something does not prepose Cassiopeia and/or is a kind of a sojourn it scowls. sent16: something is not a telefilm if it is not a kind of a sojourn and/or is not a telefilm. sent17: if something does not prepose Cassiopeia then it scowls.
sent13 -> int1: the tung is not a kind of a telefilm if that it is not a highjacker or it is a kind of a penult or both is not correct.; int1 & sent3 -> int2: the tung is not a kind of a telefilm.; int2 & sent8 -> int3: either the greenfly does not prepose Cassiopeia or it is a sojourn or both.; sent15 -> int4: the greenfly does scowl if it does not prepose Cassiopeia and/or it is a sojourn.; int3 & int4 -> hypothesis;
the greenfly does not scowl.
sent10 -> int5: the greenfly is a telefilm and/or it does not prepose Cassiopeia if it is a sojourn.; sent9 -> int6: if the greenfly is not monoecious it sojourns and it is obligational.;
$hypothesis$ = the greenfly does not scowl. ; $context$ = sent1: the greenfly does prepose Cassiopeia and/or it sojourns if the tung is not a telefilm. sent2: if that something is a highjacker or it is a penult or both is wrong then it is not a kind of a telefilm. sent3: the fact that the tung is not a kind of a highjacker and/or is a kind of a penult does not hold. sent4: the tung sojourns if it is not a highjacker. sent5: something preposes hydroxychloroquine if it is not heliocentric. sent6: if the fact that the hydroxychloroquine is non-monoecious a Zimbabwean is wrong the greenfly is not non-monoecious. sent7: if that the tung is either a highjacker or a penult or both does not hold it is not a kind of a telefilm. sent8: if the tung is not a telefilm then the greenfly does not prepose Cassiopeia or sojourns or both. sent9: something sojourns and is obligational if it is not monoecious. sent10: something that does sojourn is a telefilm or does not prepose Cassiopeia or both. sent11: the greenfly preposes Cassiopeia or it sojourns or both. sent12: if the fact that the hydroxychloroquine does not immigrate is not false then that it is both non-monoecious and not non-Zimbabwean is not right. sent13: something is not a kind of a telefilm if that it either is not a highjacker or is a penult or both is not right. sent14: the tung is a highjacker. sent15: if something does not prepose Cassiopeia and/or is a kind of a sojourn it scowls. sent16: something is not a telefilm if it is not a kind of a sojourn and/or is not a telefilm. sent17: if something does not prepose Cassiopeia then it scowls. ; $proof$ = 
sent13 -> int1: the tung is not a kind of a telefilm if that it is not a highjacker or it is a kind of a penult or both is not correct.; int1 & sent3 -> int2: the tung is not a kind of a telefilm.; int2 & sent8 -> int3: either the greenfly does not prepose Cassiopeia or it is a sojourn or both.; sent15 -> int4: the greenfly does scowl if it does not prepose Cassiopeia and/or it is a sojourn.; int3 & int4 -> hypothesis; __DISPROVED__