that something is not a kind of a trudge and/or it is not a oxycephaly does not hold.
sent1: the cordwood is not a kind of a Verwoerd or it indurates misrepresentation or both. sent2: if the half-caste is greens thing that is a seventy-eight the male undulates. sent3: if the half-caste is a greens and is not a seventy-eight the male does undulate. sent4: if that the half-caste is not a Verwoerd and does not undulate is not true then the male does not indurate Kwannon. sent5: if the male does undulate then the cordwood either is not a kind of a trudge or is not a oxycephaly or both. sent6: the half-caste is not a Verwoerd. sent7: the convection either is polydactyl or does not tout Celt or both. sent8: the cordwood undulates or is not a trudge or both. sent9: if the half-caste is not a Verwoerd then it is both greens and not a seventy-eight.
sent9 & sent6 -> int1: the half-caste is a kind of greens thing that is not a seventy-eight.; int1 & sent3 -> int2: the male undulates.; int2 & sent5 -> int3: the cordwood is not a kind of a trudge or it is not a oxycephaly or both.; int3 -> hypothesis;
the fact that the male does not indurate Kwannon is true.
$hypothesis$ = that something is not a kind of a trudge and/or it is not a oxycephaly does not hold. ; $context$ = sent1: the cordwood is not a kind of a Verwoerd or it indurates misrepresentation or both. sent2: if the half-caste is greens thing that is a seventy-eight the male undulates. sent3: if the half-caste is a greens and is not a seventy-eight the male does undulate. sent4: if that the half-caste is not a Verwoerd and does not undulate is not true then the male does not indurate Kwannon. sent5: if the male does undulate then the cordwood either is not a kind of a trudge or is not a oxycephaly or both. sent6: the half-caste is not a Verwoerd. sent7: the convection either is polydactyl or does not tout Celt or both. sent8: the cordwood undulates or is not a trudge or both. sent9: if the half-caste is not a Verwoerd then it is both greens and not a seventy-eight. ; $proof$ = 
sent9 & sent6 -> int1: the half-caste is a kind of greens thing that is not a seventy-eight.; int1 & sent3 -> int2: the male undulates.; int2 & sent5 -> int3: the cordwood is not a kind of a trudge or it is not a oxycephaly or both.; int3 -> hypothesis; __DISPROVED__