the jerboa is not a hausmannite.
sent1: the mezereon does numerate microfilm and it is infelicitous. sent2: the fact that the jerboa is a hausmannite is correct if the mezereon does numerate microfilm. sent3: that the jerboa numerates microfilm if the fact that the mezereon is a hausmannite is not incorrect is not wrong.
sent1 -> int1: the mezereon does numerate microfilm.; sent2 & int1 -> hypothesis;
$hypothesis$ = the jerboa is not a hausmannite. ; $context$ = sent1: the mezereon does numerate microfilm and it is infelicitous. sent2: the fact that the jerboa is a hausmannite is correct if the mezereon does numerate microfilm. sent3: that the jerboa numerates microfilm if the fact that the mezereon is a hausmannite is not incorrect is not wrong. ; $proof$ = 
sent1 -> int1: the mezereon does numerate microfilm.; sent2 & int1 -> hypothesis; __DISPROVED__