the filet is a salutation.
sent1: if the West is non-atherosclerotic then the filet is a serge. sent2: everything is not a basidiolichen and not a footwall. sent3: that the filet is not a kind of a basidiolichen and it is not a footwall is false if it is not a kind of a salutation. sent4: if the filet is not a salutation that it is a basidiolichen and it is not a footwall is not right. sent5: the fact that the fact that the filet is a basidiolichen but it is not a footwall is false is correct. sent6: the fact that the filet is not a basidiolichen but it is a footwall is not true. sent7: the fact that the filet is not a basidiolichen but a footwall is wrong if that it is not a salutation is not incorrect. sent8: something either is Sisyphean or is not a sleeping or both if the fact that it is a serge is right.
void -> assump1: Let's assume that the filet is not a salutation.; sent3 & assump1 -> int1: that the filet is not a kind of a basidiolichen and it is not a footwall is incorrect.; sent2 -> int2: the filet is not a basidiolichen and it is not a kind of a footwall.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the filet is not a kind of a salutation.
sent8 -> int4: if the fact that the filet is a kind of a serge is not incorrect then it is Sisyphean and/or not a sleeping.;
$hypothesis$ = the filet is a salutation. ; $context$ = sent1: if the West is non-atherosclerotic then the filet is a serge. sent2: everything is not a basidiolichen and not a footwall. sent3: that the filet is not a kind of a basidiolichen and it is not a footwall is false if it is not a kind of a salutation. sent4: if the filet is not a salutation that it is a basidiolichen and it is not a footwall is not right. sent5: the fact that the fact that the filet is a basidiolichen but it is not a footwall is false is correct. sent6: the fact that the filet is not a basidiolichen but it is a footwall is not true. sent7: the fact that the filet is not a basidiolichen but a footwall is wrong if that it is not a salutation is not incorrect. sent8: something either is Sisyphean or is not a sleeping or both if the fact that it is a serge is right. ; $proof$ = 
void -> assump1: Let's assume that the filet is not a salutation.; sent3 & assump1 -> int1: that the filet is not a kind of a basidiolichen and it is not a footwall is incorrect.; sent2 -> int2: the filet is not a basidiolichen and it is not a kind of a footwall.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__