that the abiotrophy happens yields the non-brachiopodness.
sent1: the fact that the journalism but not the dadoing casebook occurs is not true if the penileness does not occur. sent2: that the brachiopod happens is prevented by that both the squeal and the abiotrophy occurs. sent3: that the journalism happens and the dadoing casebook happens is wrong. sent4: the titration occurs. sent5: the brachiopodness happens. sent6: the dadoing casebook does not occur. sent7: the penileness does not occur. sent8: if the squeal does not occur then the journalism occurs but the dadoing casebook does not occur. sent9: the fact that the journalism happens and the dadoing casebook happens is not right if the penileness does not occur.
void -> assump1: Let's assume that the squealing does not occur.; sent8 & assump1 -> int1: the journalism but not the dadoing casebook happens.; sent1 & sent7 -> int2: that the journalism happens but the dadoing casebook does not occur is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the squeal happens.; void -> assump2: Let's assume that the fact that the abiotrophy happens is correct.; int4 & assump2 -> int5: the squeal happens and the abiotrophy happens.; int5 & sent2 -> int6: the brachiopod does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that the abiotrophy happens yields the non-brachiopodness. ; $context$ = sent1: the fact that the journalism but not the dadoing casebook occurs is not true if the penileness does not occur. sent2: that the brachiopod happens is prevented by that both the squeal and the abiotrophy occurs. sent3: that the journalism happens and the dadoing casebook happens is wrong. sent4: the titration occurs. sent5: the brachiopodness happens. sent6: the dadoing casebook does not occur. sent7: the penileness does not occur. sent8: if the squeal does not occur then the journalism occurs but the dadoing casebook does not occur. sent9: the fact that the journalism happens and the dadoing casebook happens is not right if the penileness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the squealing does not occur.; sent8 & assump1 -> int1: the journalism but not the dadoing casebook happens.; sent1 & sent7 -> int2: that the journalism happens but the dadoing casebook does not occur is not right.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the squeal happens.; void -> assump2: Let's assume that the fact that the abiotrophy happens is correct.; int4 & assump2 -> int5: the squeal happens and the abiotrophy happens.; int5 & sent2 -> int6: the brachiopod does not occur.; [assump2] & int6 -> hypothesis; __PROVED__