the fact that the umbel is a kind of a Beethoven hold if the mucilage is not non-Togolese.
sent1: if the nortriptyline is dishonest the umbel is a Beethoven. sent2: the capstan is a Beethoven. sent3: if the umbel is a Togolese the mucilage is a Beethoven. sent4: the umbel is a kind of a Togolese if the mucilage is a Beethoven. sent5: the nortriptyline is dishonest if the mucilage is Togolese. sent6: the nortriptyline is a kind of a Togolese. sent7: the nortriptyline is immanent.
void -> assump1: Let's assume that the mucilage is Togolese.; sent5 & assump1 -> int1: the nortriptyline is dishonest.; int1 & sent1 -> int2: the umbel is a Beethoven.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the umbel is a kind of a Beethoven hold if the mucilage is not non-Togolese. ; $context$ = sent1: if the nortriptyline is dishonest the umbel is a Beethoven. sent2: the capstan is a Beethoven. sent3: if the umbel is a Togolese the mucilage is a Beethoven. sent4: the umbel is a kind of a Togolese if the mucilage is a Beethoven. sent5: the nortriptyline is dishonest if the mucilage is Togolese. sent6: the nortriptyline is a kind of a Togolese. sent7: the nortriptyline is immanent. ; $proof$ = 
void -> assump1: Let's assume that the mucilage is Togolese.; sent5 & assump1 -> int1: the nortriptyline is dishonest.; int1 & sent1 -> int2: the umbel is a Beethoven.; [assump1] & int2 -> hypothesis; __PROVED__