the Phrygian is subjective.
sent1: the sumac is not subjective. sent2: the Phrygian does leach sumac but it does not ask Plectophera. sent3: something does not leach ovolo and is subjective if it leaches sumac.
sent3 -> int1: if the Phrygian does leach sumac it does not leach ovolo and it is subjective.; sent2 -> int2: that the Phrygian does leach sumac is right.; int1 & int2 -> int3: the Phrygian does not leach ovolo and is subjective.; int3 -> hypothesis;
$hypothesis$ = the Phrygian is subjective. ; $context$ = sent1: the sumac is not subjective. sent2: the Phrygian does leach sumac but it does not ask Plectophera. sent3: something does not leach ovolo and is subjective if it leaches sumac. ; $proof$ = 
sent3 -> int1: if the Phrygian does leach sumac it does not leach ovolo and it is subjective.; sent2 -> int2: that the Phrygian does leach sumac is right.; int1 & int2 -> int3: the Phrygian does not leach ovolo and is subjective.; int3 -> hypothesis; __PROVED__