the perch is a kind of a mastocyte.
sent1: the concessionaire is western but it is not universalistic if it is not digestible. sent2: the perch does not pitch harmonics if there exists something such that it does not garner billionth and it garners feel. sent3: that the concessionaire is a western and is not universalistic is not true. sent4: the concessionaire does not garner feel if it is digestible. sent5: the Nasturtium does not garner billionth but it garners feel if the concessionaire does not garners feel. sent6: if the perch does not pitch harmonics then the fact that it is not a mastocyte is correct.
void -> assump1: Let's assume that the concessionaire is not digestible.; sent1 & assump1 -> int1: the concessionaire is western and not universalistic.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the concessionaire is not digestible is wrong.; int3 & sent4 -> int4: the concessionaire does not garner feel.; int4 & sent5 -> int5: that the Nasturtium does not garner billionth but it does garner feel is not wrong.; int5 -> int6: something does not garner billionth and does garner feel.; int6 & sent2 -> int7: the perch does not pitch harmonics.; int7 & sent6 -> hypothesis;
$hypothesis$ = the perch is a kind of a mastocyte. ; $context$ = sent1: the concessionaire is western but it is not universalistic if it is not digestible. sent2: the perch does not pitch harmonics if there exists something such that it does not garner billionth and it garners feel. sent3: that the concessionaire is a western and is not universalistic is not true. sent4: the concessionaire does not garner feel if it is digestible. sent5: the Nasturtium does not garner billionth but it garners feel if the concessionaire does not garners feel. sent6: if the perch does not pitch harmonics then the fact that it is not a mastocyte is correct. ; $proof$ = 
void -> assump1: Let's assume that the concessionaire is not digestible.; sent1 & assump1 -> int1: the concessionaire is western and not universalistic.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the concessionaire is not digestible is wrong.; int3 & sent4 -> int4: the concessionaire does not garner feel.; int4 & sent5 -> int5: that the Nasturtium does not garner billionth but it does garner feel is not wrong.; int5 -> int6: something does not garner billionth and does garner feel.; int6 & sent2 -> int7: the perch does not pitch harmonics.; int7 & sent6 -> hypothesis; __DISPROVED__