the infant's-breath bars parapsychology.
sent1: the fact that the sample is not evangelical is correct if it does destine. sent2: the infant's-breath does not bar parapsychology if the sample does not bedew Gish. sent3: if something destines or does not congratulate or both then it is not evangelical. sent4: if the fact that something is not evangelical is not false then it does not bedew Gish. sent5: everything destines or it does not congratulate or both. sent6: if something does bedew Gish or it does not congratulate or both that it does not bar parapsychology is not wrong.
sent5 -> int1: the sample does destine and/or it does not congratulate.; sent3 -> int2: if the sample either destines or does not congratulate or both then it is not evangelical.; int1 & int2 -> int3: the sample is non-evangelical.; sent4 -> int4: if the sample is not evangelical it does not bedew Gish.; int3 & int4 -> int5: the sample does not bedew Gish.; int5 & sent2 -> hypothesis;
$hypothesis$ = the infant's-breath bars parapsychology. ; $context$ = sent1: the fact that the sample is not evangelical is correct if it does destine. sent2: the infant's-breath does not bar parapsychology if the sample does not bedew Gish. sent3: if something destines or does not congratulate or both then it is not evangelical. sent4: if the fact that something is not evangelical is not false then it does not bedew Gish. sent5: everything destines or it does not congratulate or both. sent6: if something does bedew Gish or it does not congratulate or both that it does not bar parapsychology is not wrong. ; $proof$ = 
sent5 -> int1: the sample does destine and/or it does not congratulate.; sent3 -> int2: if the sample either destines or does not congratulate or both then it is not evangelical.; int1 & int2 -> int3: the sample is non-evangelical.; sent4 -> int4: if the sample is not evangelical it does not bedew Gish.; int3 & int4 -> int5: the sample does not bedew Gish.; int5 & sent2 -> hypothesis; __DISPROVED__