the furan does not invite Rockwell and it does not invite Wynette.
sent1: that the furan does not invite Rockwell and it does not invite Wynette does not hold if the fact that the adjustment does not invite adjustment is right. sent2: if something is not tuneful then it does not invite adjustment. sent3: the paper-pusher is not a toucanet. sent4: the adjustment is not tuneful if the fact that the paper-pusher is not a toucanet hold.
sent2 -> int1: if the adjustment is not tuneful it does not invite adjustment.; sent4 & sent3 -> int2: the adjustment is not tuneful.; int1 & int2 -> int3: the adjustment does not invite adjustment.; int3 & sent1 -> hypothesis;
$hypothesis$ = the furan does not invite Rockwell and it does not invite Wynette. ; $context$ = sent1: that the furan does not invite Rockwell and it does not invite Wynette does not hold if the fact that the adjustment does not invite adjustment is right. sent2: if something is not tuneful then it does not invite adjustment. sent3: the paper-pusher is not a toucanet. sent4: the adjustment is not tuneful if the fact that the paper-pusher is not a toucanet hold. ; $proof$ = 
sent2 -> int1: if the adjustment is not tuneful it does not invite adjustment.; sent4 & sent3 -> int2: the adjustment is not tuneful.; int1 & int2 -> int3: the adjustment does not invite adjustment.; int3 & sent1 -> hypothesis; __DISPROVED__