the paleocerebellum does not dirty.
sent1: the paleocerebellum is cryogenics or it is not cytophotometric or both. sent2: if the loom does not vex precipitating then it is Israeli. sent3: something does dirty if it is not cytophotometric. sent4: if the paleocerebellum does not net the fact that it is cryogenics hold. sent5: something does dirty if it is cryogenics. sent6: the paleocerebellum does not dirty if the sinapism is cryogenics but it is not dirty. sent7: that the hag dirties is true.
sent3 -> int1: the paleocerebellum is dirty if it is not cytophotometric.; sent5 -> int2: the paleocerebellum is dirty if it is cryogenics.; int1 & sent1 & int2 -> hypothesis;
that the paleocerebellum does not dirty hold.
$hypothesis$ = the paleocerebellum does not dirty. ; $context$ = sent1: the paleocerebellum is cryogenics or it is not cytophotometric or both. sent2: if the loom does not vex precipitating then it is Israeli. sent3: something does dirty if it is not cytophotometric. sent4: if the paleocerebellum does not net the fact that it is cryogenics hold. sent5: something does dirty if it is cryogenics. sent6: the paleocerebellum does not dirty if the sinapism is cryogenics but it is not dirty. sent7: that the hag dirties is true. ; $proof$ = 
sent3 -> int1: the paleocerebellum is dirty if it is not cytophotometric.; sent5 -> int2: the paleocerebellum is dirty if it is cryogenics.; int1 & sent1 & int2 -> hypothesis; __DISPROVED__