the fact that the adulterator is migrational or it is unnecessary or both is not true.
sent1: the peacock is not a downiness if the yokel is not a downiness. sent2: if that something does not wane hold then that it is migrational or it is unnecessary or both does not hold. sent3: if the yokel is not a downiness but it incandesces then the adulterator is unnecessary. sent4: the yokel is not a downiness if the hyson is not a greenhouse and not nonhierarchical. sent5: the Sand does hoard peacock or it is Egyptian or both. sent6: The peacock hoards peacock. sent7: if the peacock does not incandesce the yokel is not a downiness and it does not incandesce. sent8: the adulterator is unnecessary if the yokel is not a downiness and does not incandesce. sent9: something hoards peacock and does not incandesce if it is not a kind of a downiness. sent10: the yokel does not incandesce if the peacock does not incandesce. sent11: the yokel does not incandesce. sent12: if the adulterator does not hoard peacock and it does not wane it is not a kind of a downiness. sent13: if the peacock is not a downiness then the adulterator is not a downiness. sent14: the peacock hoards peacock. sent15: the peacock does wane. sent16: something does not incandesce if it does wane and hoards peacock.
sent15 & sent14 -> int1: the peacock does wane and it does hoard peacock.; sent16 -> int2: if the peacock wanes and does hoard peacock the fact that it does not incandesce is not wrong.; int1 & int2 -> int3: the peacock does not incandesce.; int3 & sent7 -> int4: the yokel is not a downiness and it does not incandesce.; int4 & sent8 -> int5: the adulterator is unnecessary.; int5 -> hypothesis;
the adulterator is not a downiness.
$hypothesis$ = the fact that the adulterator is migrational or it is unnecessary or both is not true. ; $context$ = sent1: the peacock is not a downiness if the yokel is not a downiness. sent2: if that something does not wane hold then that it is migrational or it is unnecessary or both does not hold. sent3: if the yokel is not a downiness but it incandesces then the adulterator is unnecessary. sent4: the yokel is not a downiness if the hyson is not a greenhouse and not nonhierarchical. sent5: the Sand does hoard peacock or it is Egyptian or both. sent6: The peacock hoards peacock. sent7: if the peacock does not incandesce the yokel is not a downiness and it does not incandesce. sent8: the adulterator is unnecessary if the yokel is not a downiness and does not incandesce. sent9: something hoards peacock and does not incandesce if it is not a kind of a downiness. sent10: the yokel does not incandesce if the peacock does not incandesce. sent11: the yokel does not incandesce. sent12: if the adulterator does not hoard peacock and it does not wane it is not a kind of a downiness. sent13: if the peacock is not a downiness then the adulterator is not a downiness. sent14: the peacock hoards peacock. sent15: the peacock does wane. sent16: something does not incandesce if it does wane and hoards peacock. ; $proof$ = 
sent15 & sent14 -> int1: the peacock does wane and it does hoard peacock.; sent16 -> int2: if the peacock wanes and does hoard peacock the fact that it does not incandesce is not wrong.; int1 & int2 -> int3: the peacock does not incandesce.; int3 & sent7 -> int4: the yokel is not a downiness and it does not incandesce.; int4 & sent8 -> int5: the adulterator is unnecessary.; int5 -> hypothesis; __DISPROVED__