the smasher executes and it is defervescent.
sent1: if the parricide is not outdoors the cuppa is not defervescent. sent2: if something is not outdoors it is not defervescent. sent3: the parricide is a vetchworm. sent4: if the cuppa is not defervescent then the smasher executes and is defervescent. sent5: that something is not a kind of a vetchworm if the fact that it is not outdoors and it is a kind of an outline does not hold is not wrong. sent6: the sociobiologist is both not a friendlessness and a vetchworm. sent7: the smasher does not execute if it is not outdoors.
sent5 -> int1: the parricide is not a vetchworm if that it is non-outdoors and it is an outline is not true.; void -> assump1: Let's assume that that that the parricide is a kind of non-outdoors thing that is an outline hold is false.; int1 & assump1 -> int2: the parricide is not a vetchworm.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the parricide is not outdoors but it is an outline.; int4 -> int5: the fact that the parricide is not outdoors is not wrong.; int5 & sent1 -> int6: the cuppa is not defervescent.; int6 & sent4 -> hypothesis;
$hypothesis$ = the smasher executes and it is defervescent. ; $context$ = sent1: if the parricide is not outdoors the cuppa is not defervescent. sent2: if something is not outdoors it is not defervescent. sent3: the parricide is a vetchworm. sent4: if the cuppa is not defervescent then the smasher executes and is defervescent. sent5: that something is not a kind of a vetchworm if the fact that it is not outdoors and it is a kind of an outline does not hold is not wrong. sent6: the sociobiologist is both not a friendlessness and a vetchworm. sent7: the smasher does not execute if it is not outdoors. ; $proof$ = 
sent5 -> int1: the parricide is not a vetchworm if that it is non-outdoors and it is an outline is not true.; void -> assump1: Let's assume that that that the parricide is a kind of non-outdoors thing that is an outline hold is false.; int1 & assump1 -> int2: the parricide is not a vetchworm.; int2 & sent3 -> int3: this is contradiction.; [assump1] & int3 -> int4: the parricide is not outdoors but it is an outline.; int4 -> int5: the fact that the parricide is not outdoors is not wrong.; int5 & sent1 -> int6: the cuppa is not defervescent.; int6 & sent4 -> hypothesis; __PROVED__