that the illumination is non-omnivorous or not a clamor or both is not right.
sent1: the boutonniere is not fast. sent2: the hatbox is an affined. sent3: if there is something such that it does not clock blacksmith that the illumination is not omnivorous or it is not a clamor or both is true. sent4: the dinky does not clock blacksmith if the pantothen is a large. sent5: if there is something such that it does not clock blacksmith then the illumination is not omnivorous and/or is a clamor. sent6: the boutonniere does not clock Ptilonorhynchidae if the hatbox is diametric. sent7: if the hatbox is not an affined it is not a large and it does not clock blacksmith. sent8: something clocks blacksmith if it is an affined. sent9: the fact that the boutonniere does not clock Ptilonorhynchidae but it is not non-large is incorrect if there exists something such that it does clock blacksmith. sent10: if that the hatbox is a kind of non-large thing that does not clock blacksmith is right then the boutonniere clocks Ptilonorhynchidae. sent11: the pantothen is large if the hatbox does clock Ptilonorhynchidae. sent12: the pantothen is not a kind of a fast. sent13: the illumination is omnivorous or not a clamor or both. sent14: if there exists something such that it does not clock blacksmith then either the illumination is omnivorous or it is not a clamor or both. sent15: the illumination is not omnivorous or it clamors or both. sent16: the boutonniere is technological. sent17: the fact that the boutonniere is not a fast but technological is wrong if it is not diametric. sent18: that something is not omnivorous or not a clamor or both is false if it is not diametric. sent19: if the boutonniere is diametric then the hatbox clocks Ptilonorhynchidae. sent20: there is something such that it does clock blacksmith.
void -> assump1: Let's assume that the boutonniere is not diametric.; sent17 & assump1 -> int1: the fact that the boutonniere is not a kind of a fast and is technological is not true.; sent1 & sent16 -> int2: the boutonniere is not a fast but technological.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the boutonniere is diametric.; int4 & sent19 -> int5: the hatbox clocks Ptilonorhynchidae.; int5 & sent11 -> int6: the pantothen is a large.; int6 & sent4 -> int7: the fact that the dinky does not clock blacksmith is not false.; int7 -> int8: something does not clock blacksmith.; int8 & sent3 -> hypothesis;
the fact that the illumination is not omnivorous or it is not a clamor or both does not hold.
sent8 -> int9: the hatbox does clock blacksmith if it is affined.; int9 & sent2 -> int10: the hatbox clocks blacksmith.; int10 -> int11: there exists something such that it does clock blacksmith.; int11 & sent9 -> int12: the fact that the boutonniere does not clock Ptilonorhynchidae but it is large is not true.; int12 -> int13: there exists something such that that it does not clock Ptilonorhynchidae and is a large does not hold.;
$hypothesis$ = that the illumination is non-omnivorous or not a clamor or both is not right. ; $context$ = sent1: the boutonniere is not fast. sent2: the hatbox is an affined. sent3: if there is something such that it does not clock blacksmith that the illumination is not omnivorous or it is not a clamor or both is true. sent4: the dinky does not clock blacksmith if the pantothen is a large. sent5: if there is something such that it does not clock blacksmith then the illumination is not omnivorous and/or is a clamor. sent6: the boutonniere does not clock Ptilonorhynchidae if the hatbox is diametric. sent7: if the hatbox is not an affined it is not a large and it does not clock blacksmith. sent8: something clocks blacksmith if it is an affined. sent9: the fact that the boutonniere does not clock Ptilonorhynchidae but it is not non-large is incorrect if there exists something such that it does clock blacksmith. sent10: if that the hatbox is a kind of non-large thing that does not clock blacksmith is right then the boutonniere clocks Ptilonorhynchidae. sent11: the pantothen is large if the hatbox does clock Ptilonorhynchidae. sent12: the pantothen is not a kind of a fast. sent13: the illumination is omnivorous or not a clamor or both. sent14: if there exists something such that it does not clock blacksmith then either the illumination is omnivorous or it is not a clamor or both. sent15: the illumination is not omnivorous or it clamors or both. sent16: the boutonniere is technological. sent17: the fact that the boutonniere is not a fast but technological is wrong if it is not diametric. sent18: that something is not omnivorous or not a clamor or both is false if it is not diametric. sent19: if the boutonniere is diametric then the hatbox clocks Ptilonorhynchidae. sent20: there is something such that it does clock blacksmith. ; $proof$ = 
void -> assump1: Let's assume that the boutonniere is not diametric.; sent17 & assump1 -> int1: the fact that the boutonniere is not a kind of a fast and is technological is not true.; sent1 & sent16 -> int2: the boutonniere is not a fast but technological.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the boutonniere is diametric.; int4 & sent19 -> int5: the hatbox clocks Ptilonorhynchidae.; int5 & sent11 -> int6: the pantothen is a large.; int6 & sent4 -> int7: the fact that the dinky does not clock blacksmith is not false.; int7 -> int8: something does not clock blacksmith.; int8 & sent3 -> hypothesis; __DISPROVED__