the telpherage is not a kind of a tongued and does not contort crannied.
sent1: that something is not a puffer and is not a herrerasaur is not right if it is diatonic. sent2: that the skydiver is not microelectronic is not wrong. sent3: the shoveler is not diatonic if that the telpherage does not tongue and it does not contort crannied is false. sent4: there exists something such that the fact that the fact that it is not restless and is a herrerasaur hold is wrong. sent5: the shoveler is diatonic if there exists something such that that it is not restless and is a herrerasaur is not right.
void -> assump1: Let's assume that that the telpherage is not a tongued and does not contort crannied is false.; sent3 & assump1 -> int1: the shoveler is not diatonic.; sent4 & sent5 -> int2: the fact that the shoveler is diatonic is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
that the fact that the bowler is not a puffer and it is not a herrerasaur does not hold hold.
sent1 -> int4: if the bowler is not non-diatonic the fact that it is not a puffer and not a herrerasaur does not hold.;
$hypothesis$ = the telpherage is not a kind of a tongued and does not contort crannied. ; $context$ = sent1: that something is not a puffer and is not a herrerasaur is not right if it is diatonic. sent2: that the skydiver is not microelectronic is not wrong. sent3: the shoveler is not diatonic if that the telpherage does not tongue and it does not contort crannied is false. sent4: there exists something such that the fact that the fact that it is not restless and is a herrerasaur hold is wrong. sent5: the shoveler is diatonic if there exists something such that that it is not restless and is a herrerasaur is not right. ; $proof$ = 
void -> assump1: Let's assume that that the telpherage is not a tongued and does not contort crannied is false.; sent3 & assump1 -> int1: the shoveler is not diatonic.; sent4 & sent5 -> int2: the fact that the shoveler is diatonic is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__