the colonial is a kind of a spinach.
sent1: something is boronic and it is a kind of a yarrow. sent2: if the muffle is not epigastric then the Southeast is dogmatic thing that is epigastric. sent3: if the Southeast is epigastric that the colonial is a spinach is not false. sent4: the muffle is not epigastric if there exists something such that it is boronic and it is a kind of a yarrow.
sent1 & sent4 -> int1: the muffle is not epigastric.; sent2 & int1 -> int2: the Southeast is dogmatic and is epigastric.; int2 -> int3: the Southeast is epigastric.; sent3 & int3 -> hypothesis;
$hypothesis$ = the colonial is a kind of a spinach. ; $context$ = sent1: something is boronic and it is a kind of a yarrow. sent2: if the muffle is not epigastric then the Southeast is dogmatic thing that is epigastric. sent3: if the Southeast is epigastric that the colonial is a spinach is not false. sent4: the muffle is not epigastric if there exists something such that it is boronic and it is a kind of a yarrow. ; $proof$ = 
sent1 & sent4 -> int1: the muffle is not epigastric.; sent2 & int1 -> int2: the Southeast is dogmatic and is epigastric.; int2 -> int3: the Southeast is epigastric.; sent3 & int3 -> hypothesis; __PROVED__