the porringer is not grateful.
sent1: if something is an underpayment it is grateful. sent2: the throw is a Patwin. sent3: the porringer is an underpayment if the throw is a kind of a Patwin. sent4: if the throw is an underpayment the porringer is a Patwin. sent5: if something is grateful then it is an underpayment.
sent3 & sent2 -> int1: the porringer is an underpayment.; sent1 -> int2: if the porringer is an underpayment then it is grateful.; int1 & int2 -> hypothesis;
the porringer is a Patwin.
sent5 -> int3: the throw is an underpayment if it is grateful.;
$hypothesis$ = the porringer is not grateful. ; $context$ = sent1: if something is an underpayment it is grateful. sent2: the throw is a Patwin. sent3: the porringer is an underpayment if the throw is a kind of a Patwin. sent4: if the throw is an underpayment the porringer is a Patwin. sent5: if something is grateful then it is an underpayment. ; $proof$ = 
sent3 & sent2 -> int1: the porringer is an underpayment.; sent1 -> int2: if the porringer is an underpayment then it is grateful.; int1 & int2 -> hypothesis; __DISPROVED__