the paleencephalon is beautiful.
sent1: the paleencephalon is not beautiful if that the solderer is not non-barometric but it is not a ecoterrorism does not hold. sent2: that the solderer is barometric thing that is a kind of a ecoterrorism does not hold if the pike-perch is not barometric. sent3: if the pike-perch is not barometric then that the fact that the solderer is a kind of barometric thing that is not a ecoterrorism is not correct hold. sent4: something that does not tipple is not barometric and falls nonuniformity. sent5: the fact that the pike-perch is not a tenon or tipples or both is not true.
void -> assump1: Let's assume that the pike-perch does tipple.; assump1 -> int1: the pike-perch is not a tenon and/or it tipples.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pike-perch does not tipple.; sent4 -> int4: if the pike-perch does not tipple it is not barometric and does fall nonuniformity.; int3 & int4 -> int5: the pike-perch is a kind of non-barometric thing that does fall nonuniformity.; int5 -> int6: the pike-perch is not barometric.; int6 & sent3 -> int7: the fact that the solderer is barometric but it is not a ecoterrorism is incorrect.; int7 & sent1 -> hypothesis;
$hypothesis$ = the paleencephalon is beautiful. ; $context$ = sent1: the paleencephalon is not beautiful if that the solderer is not non-barometric but it is not a ecoterrorism does not hold. sent2: that the solderer is barometric thing that is a kind of a ecoterrorism does not hold if the pike-perch is not barometric. sent3: if the pike-perch is not barometric then that the fact that the solderer is a kind of barometric thing that is not a ecoterrorism is not correct hold. sent4: something that does not tipple is not barometric and falls nonuniformity. sent5: the fact that the pike-perch is not a tenon or tipples or both is not true. ; $proof$ = 
void -> assump1: Let's assume that the pike-perch does tipple.; assump1 -> int1: the pike-perch is not a tenon and/or it tipples.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the pike-perch does not tipple.; sent4 -> int4: if the pike-perch does not tipple it is not barometric and does fall nonuniformity.; int3 & int4 -> int5: the pike-perch is a kind of non-barometric thing that does fall nonuniformity.; int5 -> int6: the pike-perch is not barometric.; int6 & sent3 -> int7: the fact that the solderer is barometric but it is not a ecoterrorism is incorrect.; int7 & sent1 -> hypothesis; __DISPROVED__