the beryllium is not a cenotaph.
sent1: that the frypan guards immortal and does not subside Verwoerd is not true. sent2: if that the binding is not a pessimist and does not guard immortal is wrong the fact that the frypan is unfrozen is true. sent3: the binding is a pessimist and it is unfrozen. sent4: that the frypan does not guard immortal but it subsides Verwoerd does not hold. sent5: the binding is not a pessimist if the frypan does not guard immortal and does not subside Verwoerd. sent6: if the fact that the frypan does not guard immortal and it does not subside Verwoerd does not hold then the beryllium is a cenotaph. sent7: the binding is a kind of a cenotaph if that the beryllium is not a pessimist and it does not subside Verwoerd is wrong. sent8: the frypan is a kind of a knockabout and does guard Herder.
void -> assump1: Let's assume that the frypan does not guard immortal and it does not subside Verwoerd.; sent5 & assump1 -> int1: the binding is not a pessimist.; sent3 -> int2: that the binding is a pessimist is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the frypan does not guard immortal and it does not subside Verwoerd is incorrect.; int4 & sent6 -> hypothesis;
$hypothesis$ = the beryllium is not a cenotaph. ; $context$ = sent1: that the frypan guards immortal and does not subside Verwoerd is not true. sent2: if that the binding is not a pessimist and does not guard immortal is wrong the fact that the frypan is unfrozen is true. sent3: the binding is a pessimist and it is unfrozen. sent4: that the frypan does not guard immortal but it subsides Verwoerd does not hold. sent5: the binding is not a pessimist if the frypan does not guard immortal and does not subside Verwoerd. sent6: if the fact that the frypan does not guard immortal and it does not subside Verwoerd does not hold then the beryllium is a cenotaph. sent7: the binding is a kind of a cenotaph if that the beryllium is not a pessimist and it does not subside Verwoerd is wrong. sent8: the frypan is a kind of a knockabout and does guard Herder. ; $proof$ = 
void -> assump1: Let's assume that the frypan does not guard immortal and it does not subside Verwoerd.; sent5 & assump1 -> int1: the binding is not a pessimist.; sent3 -> int2: that the binding is a pessimist is not wrong.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the frypan does not guard immortal and it does not subside Verwoerd is incorrect.; int4 & sent6 -> hypothesis; __DISPROVED__