the predecessor does rake Oaxaca.
sent1: something rakes Oaxaca if the fact that it is not a kind of a selenology and it does not rakes Oaxaca is false. sent2: everything rakes Oaxaca and is a kind of a vagus. sent3: if the birefringence rakes Oaxaca then the nightshirt is a vagus. sent4: if the pillbox is continental the fact that the birefringence is not a selenology and does not rake Oaxaca is not correct. sent5: the pillbox is continental if the fluphenazine is continental. sent6: the predecessor is a vagus.
sent2 -> int1: the predecessor rakes Oaxaca and is a vagus.; int1 -> hypothesis;
the nightshirt is a vagus.
sent1 -> int2: if the fact that the birefringence is not a selenology and it does not rake Oaxaca is incorrect it does rake Oaxaca.;
$hypothesis$ = the predecessor does rake Oaxaca. ; $context$ = sent1: something rakes Oaxaca if the fact that it is not a kind of a selenology and it does not rakes Oaxaca is false. sent2: everything rakes Oaxaca and is a kind of a vagus. sent3: if the birefringence rakes Oaxaca then the nightshirt is a vagus. sent4: if the pillbox is continental the fact that the birefringence is not a selenology and does not rake Oaxaca is not correct. sent5: the pillbox is continental if the fluphenazine is continental. sent6: the predecessor is a vagus. ; $proof$ = 
sent2 -> int1: the predecessor rakes Oaxaca and is a vagus.; int1 -> hypothesis; __PROVED__