the rockrose does not romp but it does deviate macho.
sent1: the fact that the spitfire does not leach food and/or is not prosodic is wrong. sent2: if something that does not leach spitfire does riot ducat the tassel scourges. sent3: that the fact that the rockrose does not romp but it deviates macho is not false does not hold if the saucepan does romp. sent4: the sarcosporidian is not sexy if that that the spitfire does not leach food and/or is not prosodic is incorrect hold. sent5: the saucepan does romp if the tassel does scourge. sent6: something does not leach spitfire and does riot ducat if it is not sexy.
sent4 & sent1 -> int1: the sarcosporidian is not sexy.; sent6 -> int2: the sarcosporidian does not leach spitfire but it does riot ducat if it is not sexy.; int1 & int2 -> int3: the sarcosporidian does not leach spitfire and riots ducat.; int3 -> int4: something does not leach spitfire and riots ducat.; int4 & sent2 -> int5: the tassel is a scourge.; int5 & sent5 -> int6: the saucepan romps.; int6 & sent3 -> hypothesis;
$hypothesis$ = the rockrose does not romp but it does deviate macho. ; $context$ = sent1: the fact that the spitfire does not leach food and/or is not prosodic is wrong. sent2: if something that does not leach spitfire does riot ducat the tassel scourges. sent3: that the fact that the rockrose does not romp but it deviates macho is not false does not hold if the saucepan does romp. sent4: the sarcosporidian is not sexy if that that the spitfire does not leach food and/or is not prosodic is incorrect hold. sent5: the saucepan does romp if the tassel does scourge. sent6: something does not leach spitfire and does riot ducat if it is not sexy. ; $proof$ = 
sent4 & sent1 -> int1: the sarcosporidian is not sexy.; sent6 -> int2: the sarcosporidian does not leach spitfire but it does riot ducat if it is not sexy.; int1 & int2 -> int3: the sarcosporidian does not leach spitfire and riots ducat.; int3 -> int4: something does not leach spitfire and riots ducat.; int4 & sent2 -> int5: the tassel is a scourge.; int5 & sent5 -> int6: the saucepan romps.; int6 & sent3 -> hypothesis; __DISPROVED__