the nondisjunction does not coach bedpan.
sent1: the bison is not a kind of an intervenor. sent2: the nondisjunction coaches bedpan if something that does true is not a kind of an intervenor. sent3: the bison is not a kind of an intervenor if the bedpan does read centerboard. sent4: if that the cameraman does read centerboard hold then the nondisjunction read centerboard. sent5: if the bedpan reads centerboard the bison trues but it is not an intervenor. sent6: the cameraman is nephritic. sent7: if something does read centerboard and it is nephritic then it does not coach bedpan. sent8: if the cameraman is nephritic then the bedpan does read centerboard. sent9: there is something such that it is a true and is an intervenor.
sent8 & sent6 -> int1: that the bedpan reads centerboard is not incorrect.; int1 & sent5 -> int2: the bison is a kind of a true but it is not an intervenor.; int2 -> int3: there exists something such that it is a true that is not an intervenor.; int3 & sent2 -> hypothesis;
the nondisjunction does not coach bedpan.
sent7 -> int4: the nondisjunction does not coach bedpan if it reads centerboard and it is not non-nephritic.;
$hypothesis$ = the nondisjunction does not coach bedpan. ; $context$ = sent1: the bison is not a kind of an intervenor. sent2: the nondisjunction coaches bedpan if something that does true is not a kind of an intervenor. sent3: the bison is not a kind of an intervenor if the bedpan does read centerboard. sent4: if that the cameraman does read centerboard hold then the nondisjunction read centerboard. sent5: if the bedpan reads centerboard the bison trues but it is not an intervenor. sent6: the cameraman is nephritic. sent7: if something does read centerboard and it is nephritic then it does not coach bedpan. sent8: if the cameraman is nephritic then the bedpan does read centerboard. sent9: there is something such that it is a true and is an intervenor. ; $proof$ = 
sent8 & sent6 -> int1: that the bedpan reads centerboard is not incorrect.; int1 & sent5 -> int2: the bison is a kind of a true but it is not an intervenor.; int2 -> int3: there exists something such that it is a true that is not an intervenor.; int3 & sent2 -> hypothesis; __DISPROVED__