the fact that the fact that the Mass is an immortal and does scorch Marrubium is incorrect if the tripalmitin is not ichorous hold.
sent1: the tripalmitin is anthropic if there exists something such that the fact that it is smaller and/or does not kennel Dnieper is not true. sent2: something is not a kind of an immortal if it is not a benzoin and it does scorch cristobalite. sent3: there exists something such that that it either is smaller or does not kennel Dnieper or both is not right. sent4: if the tripalmitin is not an immortal the fact that the Mass is an immortal that does scorch Marrubium is not correct. sent5: something that is not ichorous but anthropic is non-synaptic. sent6: the fact that something is not a kind of a benzoin and does scorch cristobalite hold if it is not synaptic. sent7: if something does not squire Shaktist but it does kennel Hecht then it is not synaptic.
sent3 & sent1 -> int1: the tripalmitin is anthropic.; void -> assump1: Let's assume that the fact that the tripalmitin is not ichorous is correct.; int1 & assump1 -> int2: the tripalmitin is not ichorous but it is anthropic.; sent5 -> int3: if the tripalmitin is not ichorous and is anthropic then it is not synaptic.; int2 & int3 -> int4: the tripalmitin is not synaptic.; sent6 -> int5: the tripalmitin is not a benzoin and scorches cristobalite if it is not synaptic.; int4 & int5 -> int6: the tripalmitin is not a benzoin and scorches cristobalite.; sent2 -> int7: the tripalmitin is not a kind of an immortal if it is not a benzoin and it does scorch cristobalite.; int6 & int7 -> int8: the tripalmitin is not a kind of an immortal.; int8 & sent4 -> int9: the fact that the Mass is immortal thing that does scorch Marrubium is not correct.; [assump1] & int9 -> hypothesis;
if the myeloblast does not squire Shaktist but it kennels Hecht then it is not synaptic.
sent7 -> hypothesis;
$hypothesis$ = the fact that the fact that the Mass is an immortal and does scorch Marrubium is incorrect if the tripalmitin is not ichorous hold. ; $context$ = sent1: the tripalmitin is anthropic if there exists something such that the fact that it is smaller and/or does not kennel Dnieper is not true. sent2: something is not a kind of an immortal if it is not a benzoin and it does scorch cristobalite. sent3: there exists something such that that it either is smaller or does not kennel Dnieper or both is not right. sent4: if the tripalmitin is not an immortal the fact that the Mass is an immortal that does scorch Marrubium is not correct. sent5: something that is not ichorous but anthropic is non-synaptic. sent6: the fact that something is not a kind of a benzoin and does scorch cristobalite hold if it is not synaptic. sent7: if something does not squire Shaktist but it does kennel Hecht then it is not synaptic. ; $proof$ = 
sent3 & sent1 -> int1: the tripalmitin is anthropic.; void -> assump1: Let's assume that the fact that the tripalmitin is not ichorous is correct.; int1 & assump1 -> int2: the tripalmitin is not ichorous but it is anthropic.; sent5 -> int3: if the tripalmitin is not ichorous and is anthropic then it is not synaptic.; int2 & int3 -> int4: the tripalmitin is not synaptic.; sent6 -> int5: the tripalmitin is not a benzoin and scorches cristobalite if it is not synaptic.; int4 & int5 -> int6: the tripalmitin is not a benzoin and scorches cristobalite.; sent2 -> int7: the tripalmitin is not a kind of an immortal if it is not a benzoin and it does scorch cristobalite.; int6 & int7 -> int8: the tripalmitin is not a kind of an immortal.; int8 & sent4 -> int9: the fact that the Mass is immortal thing that does scorch Marrubium is not correct.; [assump1] & int9 -> hypothesis; __PROVED__