that that something does not horripilate Johnston and does not photograph hold does not hold.
sent1: the conditioner is not a photograph. sent2: the ribosome does not horripilate conditioner. sent3: the weighbridge is not pentatonic. sent4: the fact that the weighbridge photographs but it is non-ordinal is not right. sent5: the hygrometer does not horripilate conditioner. sent6: there is something such that it does not horripilate Johnston. sent7: the ribosome maps. sent8: if something is a menadione it does not horripilate conditioner. sent9: if that the weighbridge is not pentatonic is correct then the ribosome is a menadione and is a kind of a map. sent10: the conditioner is not a kind of a menadione and it does not horripilate Johnston if the ribosome does not horripilate Johnston. sent11: if the weighbridge is not pentatonic then the ribosome is a kind of a map. sent12: the muton is not ordinal if something that does horripilate conditioner gesticulates. sent13: the chromogen does not photograph if that the muton is not a ordinal hold. sent14: the conditioner is not a kind of a photograph if the chromogen does not photograph. sent15: the ribosome does not bespot observer. sent16: something does not bespot fluorescent and does occidentalize weighbridge if it is pentatonic. sent17: if there is something such that it does not horripilate conditioner and it does gesticulate the muton is not a kind of a ordinal. sent18: the ribosome does not horripilate conditioner if the fact that it is a menadione hold. sent19: if something is a menadione then it does not horripilate conditioner and does gesticulate. sent20: there exists something such that it does not horripilate Johnston and photographs. sent21: there is something such that it does horripilate Johnston and it does not photograph. sent22: if that the chromogen is not a photograph is correct then the conditioner does not horripilate Johnston and is not a photograph. sent23: the muton is a neuroblast and it is hematopoietic.
sent9 & sent3 -> int1: the ribosome is both a menadione and a map.; int1 -> int2: the ribosome is a menadione.; sent19 -> int3: if the ribosome is a menadione then it does not horripilate conditioner and it does gesticulate.; int2 & int3 -> int4: the ribosome does not horripilate conditioner but it gesticulates.; int4 -> int5: there is something such that it does not horripilate conditioner and it does gesticulate.; int5 & sent17 -> int6: the muton is not a kind of a ordinal.; int6 & sent13 -> int7: the chromogen does not photograph.; int7 & sent22 -> int8: the conditioner does not horripilate Johnston and is not a photograph.; int8 -> hypothesis;
the dimity does not bespot fluorescent but it occidentalizes weighbridge.
sent16 -> int9: the dimity does not bespot fluorescent but it occidentalizes weighbridge if it is pentatonic.; sent4 -> int10: there exists something such that the fact that it is both a photograph and not a ordinal does not hold.;
$hypothesis$ = that that something does not horripilate Johnston and does not photograph hold does not hold. ; $context$ = sent1: the conditioner is not a photograph. sent2: the ribosome does not horripilate conditioner. sent3: the weighbridge is not pentatonic. sent4: the fact that the weighbridge photographs but it is non-ordinal is not right. sent5: the hygrometer does not horripilate conditioner. sent6: there is something such that it does not horripilate Johnston. sent7: the ribosome maps. sent8: if something is a menadione it does not horripilate conditioner. sent9: if that the weighbridge is not pentatonic is correct then the ribosome is a menadione and is a kind of a map. sent10: the conditioner is not a kind of a menadione and it does not horripilate Johnston if the ribosome does not horripilate Johnston. sent11: if the weighbridge is not pentatonic then the ribosome is a kind of a map. sent12: the muton is not ordinal if something that does horripilate conditioner gesticulates. sent13: the chromogen does not photograph if that the muton is not a ordinal hold. sent14: the conditioner is not a kind of a photograph if the chromogen does not photograph. sent15: the ribosome does not bespot observer. sent16: something does not bespot fluorescent and does occidentalize weighbridge if it is pentatonic. sent17: if there is something such that it does not horripilate conditioner and it does gesticulate the muton is not a kind of a ordinal. sent18: the ribosome does not horripilate conditioner if the fact that it is a menadione hold. sent19: if something is a menadione then it does not horripilate conditioner and does gesticulate. sent20: there exists something such that it does not horripilate Johnston and photographs. sent21: there is something such that it does horripilate Johnston and it does not photograph. sent22: if that the chromogen is not a photograph is correct then the conditioner does not horripilate Johnston and is not a photograph. sent23: the muton is a neuroblast and it is hematopoietic. ; $proof$ = 
sent9 & sent3 -> int1: the ribosome is both a menadione and a map.; int1 -> int2: the ribosome is a menadione.; sent19 -> int3: if the ribosome is a menadione then it does not horripilate conditioner and it does gesticulate.; int2 & int3 -> int4: the ribosome does not horripilate conditioner but it gesticulates.; int4 -> int5: there is something such that it does not horripilate conditioner and it does gesticulate.; int5 & sent17 -> int6: the muton is not a kind of a ordinal.; int6 & sent13 -> int7: the chromogen does not photograph.; int7 & sent22 -> int8: the conditioner does not horripilate Johnston and is not a photograph.; int8 -> hypothesis; __DISPROVED__