if the majorette is a arginine then the battle-ax is a dunker.
sent1: if the battle-ax is tasteless the majorette is a dunker. sent2: if something is tasteless then it is a dunker. sent3: if the majorette is a Stoic then the battle-ax is tasteless. sent4: the majorette is tasteless. sent5: there exists nothing that is a kind of a dunker that is a kind of an emotion. sent6: the majorette is a Stoic if it is a arginine. sent7: something is a arginine if it is not tasteless and it is not a kind of a Stoic. sent8: if the battle-ax is a arginine then the majorette is tasteless. sent9: the battle-ax is a arginine.
void -> assump1: Let's assume that the majorette is a arginine.; sent6 & assump1 -> int1: the majorette is a Stoic.; int1 & sent3 -> int2: the battle-ax is tasteless.; sent2 -> int3: the battle-ax is a dunker if it is tasteless.; int2 & int3 -> int4: the battle-ax is a kind of a dunker.; [assump1] & int4 -> hypothesis;
the lancetfish is a kind of a arginine.
sent7 -> int5: if the lancetfish is not tasteless and it is not a Stoic it is a arginine.; sent5 -> int6: the fact that the battle-ax is a dunker and it is a kind of an emotion is not true.; int6 -> int7: there is something such that that it is a dunker that is an emotion is not true.;
$hypothesis$ = if the majorette is a arginine then the battle-ax is a dunker. ; $context$ = sent1: if the battle-ax is tasteless the majorette is a dunker. sent2: if something is tasteless then it is a dunker. sent3: if the majorette is a Stoic then the battle-ax is tasteless. sent4: the majorette is tasteless. sent5: there exists nothing that is a kind of a dunker that is a kind of an emotion. sent6: the majorette is a Stoic if it is a arginine. sent7: something is a arginine if it is not tasteless and it is not a kind of a Stoic. sent8: if the battle-ax is a arginine then the majorette is tasteless. sent9: the battle-ax is a arginine. ; $proof$ = 
void -> assump1: Let's assume that the majorette is a arginine.; sent6 & assump1 -> int1: the majorette is a Stoic.; int1 & sent3 -> int2: the battle-ax is tasteless.; sent2 -> int3: the battle-ax is a dunker if it is tasteless.; int2 & int3 -> int4: the battle-ax is a kind of a dunker.; [assump1] & int4 -> hypothesis; __PROVED__