the fact that if the chincherinchee camps Elateridae then the escapement does not corner steep is not right.
sent1: the escapement does not corner steep if the fact that the chincherinchee does not corner obliterator and is not faecal is not true. sent2: if the chincherinchee does not corner obliterator and is not faecal it does camp Elateridae. sent3: something that does not corner obliterator and is not faecal does not camp Elateridae. sent4: the chincherinchee does not corner obliterator.
void -> assump2: Let's assume that the fact that the chincherinchee does not camp Elateridae is incorrect.; sent3 -> int1: the chincherinchee does not camp Elateridae if that it does not corner obliterator and is not faecal hold.; void -> assump1: Let's assume that the chincherinchee does not corner obliterator and is not faecal.; int1 & assump1 -> int2: the chincherinchee does not camp Elateridae.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the chincherinchee does not corner obliterator and it is not faecal is incorrect.; sent1 & int4 -> int5: the escapement does not corner steep.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that if the chincherinchee camps Elateridae then the escapement does not corner steep is not right. ; $context$ = sent1: the escapement does not corner steep if the fact that the chincherinchee does not corner obliterator and is not faecal is not true. sent2: if the chincherinchee does not corner obliterator and is not faecal it does camp Elateridae. sent3: something that does not corner obliterator and is not faecal does not camp Elateridae. sent4: the chincherinchee does not corner obliterator. ; $proof$ = 
void -> assump2: Let's assume that the fact that the chincherinchee does not camp Elateridae is incorrect.; sent3 -> int1: the chincherinchee does not camp Elateridae if that it does not corner obliterator and is not faecal hold.; void -> assump1: Let's assume that the chincherinchee does not corner obliterator and is not faecal.; int1 & assump1 -> int2: the chincherinchee does not camp Elateridae.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the chincherinchee does not corner obliterator and it is not faecal is incorrect.; sent1 & int4 -> int5: the escapement does not corner steep.; [assump2] & int5 -> hypothesis; __DISPROVED__