that the loggerhead is not a strategist if the dewlap is botulinal is not right.
sent1: the fact that the loggerhead does not pitch lumber and it does not pitch DO is false if it is a strategist. sent2: the dewlap is not botulinal but it is a kind of a camail if the hydrogel is a Riga. sent3: the hydrogel is a kind of a Riga if the fact that the loggerhead does not pitch lumber and does not pitch DO does not hold. sent4: the hydrogel is a Riga if the loggerhead pitches lumber. sent5: something does not pitch lumber and is a kind of a strategist if it is not a Riga.
void -> assump1: Let's assume that the dewlap is botulinal.; void -> assump2: Let's assume that the loggerhead is a strategist.; sent1 & assump2 -> int1: that the loggerhead does not pitch lumber and does not pitch DO is not true.; sent3 & int1 -> int2: the hydrogel is a Riga.; sent2 & int2 -> int3: the fact that the dewlap is a kind of non-botulinal thing that is a kind of a camail is correct.; int3 -> int4: the dewlap is not botulinal.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the loggerhead is not a strategist.; [assump1] & int6 -> hypothesis;
the dewlap does not pitch lumber.
sent5 -> int7: if the fact that the dewlap is not a Riga hold it does not pitch lumber and is a kind of a strategist.;
$hypothesis$ = that the loggerhead is not a strategist if the dewlap is botulinal is not right. ; $context$ = sent1: the fact that the loggerhead does not pitch lumber and it does not pitch DO is false if it is a strategist. sent2: the dewlap is not botulinal but it is a kind of a camail if the hydrogel is a Riga. sent3: the hydrogel is a kind of a Riga if the fact that the loggerhead does not pitch lumber and does not pitch DO does not hold. sent4: the hydrogel is a Riga if the loggerhead pitches lumber. sent5: something does not pitch lumber and is a kind of a strategist if it is not a Riga. ; $proof$ = 
void -> assump1: Let's assume that the dewlap is botulinal.; void -> assump2: Let's assume that the loggerhead is a strategist.; sent1 & assump2 -> int1: that the loggerhead does not pitch lumber and does not pitch DO is not true.; sent3 & int1 -> int2: the hydrogel is a Riga.; sent2 & int2 -> int3: the fact that the dewlap is a kind of non-botulinal thing that is a kind of a camail is correct.; int3 -> int4: the dewlap is not botulinal.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the loggerhead is not a strategist.; [assump1] & int6 -> hypothesis; __DISPROVED__