the fact that if the rationalization does minister the housetop is not a kind of a Waller but it straightens heartburn does not hold.
sent1: the housetop straightens heartburn. sent2: the housetop straightens heartburn if the rationalization does straightens heartburn. sent3: the housetop is a Waller and does straighten heartburn if the rationalization does minister. sent4: the housetop is a Waller and it does straighten heartburn. sent5: the rationalization straightens heartburn if that it ministers hold. sent6: if the rationalization is a minister the housetop does straighten heartburn. sent7: the housetop is not a Waller but it straightens heartburn if the rationalization does straightens heartburn.
void -> assump1: Let's assume that the rationalization is a minister.; sent5 & assump1 -> int1: the rationalization straightens heartburn.; int1 & sent7 -> int2: the housetop is not a Waller but it straightens heartburn.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the rationalization does minister the housetop is not a kind of a Waller but it straightens heartburn does not hold. ; $context$ = sent1: the housetop straightens heartburn. sent2: the housetop straightens heartburn if the rationalization does straightens heartburn. sent3: the housetop is a Waller and does straighten heartburn if the rationalization does minister. sent4: the housetop is a Waller and it does straighten heartburn. sent5: the rationalization straightens heartburn if that it ministers hold. sent6: if the rationalization is a minister the housetop does straighten heartburn. sent7: the housetop is not a Waller but it straightens heartburn if the rationalization does straightens heartburn. ; $proof$ = 
void -> assump1: Let's assume that the rationalization is a minister.; sent5 & assump1 -> int1: the rationalization straightens heartburn.; int1 & sent7 -> int2: the housetop is not a Waller but it straightens heartburn.; [assump1] & int2 -> hypothesis; __DISPROVED__