the cholesterol is not horizontal and it does not suspend flyspeck.
sent1: the cholesterol is a kind of a fret. sent2: something that does clue terrorization is not a horizontal. sent3: the cholesterol is not a kind of a horizontal. sent4: if something vacates it is not a kind of a kaffir. sent5: the cholesterol does not clue terrorization. sent6: the cholesterol does not distribute. sent7: the creche is non-adactylous thing that is not a kind of a twinkle. sent8: The terrorization does not clue cholesterol. sent9: if the fact that the cholesterol does not clue terrorization is correct it is a subdivider and it notches Majorana. sent10: if something notches Majorana then it is not horizontal and it does not suspend flyspeck. sent11: the cholesterol is not aniseikonic. sent12: the armyworm does suspend flyspeck if it clues terrorization. sent13: the arms clues terrorization if the cholesterol clues terrorization. sent14: if that the cholesterol does not clue arbiter is not false it does notch Majorana. sent15: if something receives it is not a bedside. sent16: if something clues terrorization then it is a Myrmecophaga. sent17: the narthex is not horizontal. sent18: the mylodon clues terrorization. sent19: the creole is aniseikonic and it is ovular. sent20: the musket is a horizontal. sent21: the cholesterol is a asceticism. sent22: if the cholesterol is a breviary then it is not incorrigible and it is not a Myrmecophaga.
sent9 & sent5 -> int1: the cholesterol is a subdivider and notches Majorana.; int1 -> int2: the cholesterol notches Majorana.; sent10 -> int3: the cholesterol is non-horizontal thing that does not suspend flyspeck if it notches Majorana.; int2 & int3 -> hypothesis;
that the cholesterol is non-horizontal and it does not suspend flyspeck does not hold.
$hypothesis$ = the cholesterol is not horizontal and it does not suspend flyspeck. ; $context$ = sent1: the cholesterol is a kind of a fret. sent2: something that does clue terrorization is not a horizontal. sent3: the cholesterol is not a kind of a horizontal. sent4: if something vacates it is not a kind of a kaffir. sent5: the cholesterol does not clue terrorization. sent6: the cholesterol does not distribute. sent7: the creche is non-adactylous thing that is not a kind of a twinkle. sent8: The terrorization does not clue cholesterol. sent9: if the fact that the cholesterol does not clue terrorization is correct it is a subdivider and it notches Majorana. sent10: if something notches Majorana then it is not horizontal and it does not suspend flyspeck. sent11: the cholesterol is not aniseikonic. sent12: the armyworm does suspend flyspeck if it clues terrorization. sent13: the arms clues terrorization if the cholesterol clues terrorization. sent14: if that the cholesterol does not clue arbiter is not false it does notch Majorana. sent15: if something receives it is not a bedside. sent16: if something clues terrorization then it is a Myrmecophaga. sent17: the narthex is not horizontal. sent18: the mylodon clues terrorization. sent19: the creole is aniseikonic and it is ovular. sent20: the musket is a horizontal. sent21: the cholesterol is a asceticism. sent22: if the cholesterol is a breviary then it is not incorrigible and it is not a Myrmecophaga. ; $proof$ = 
sent9 & sent5 -> int1: the cholesterol is a subdivider and notches Majorana.; int1 -> int2: the cholesterol notches Majorana.; sent10 -> int3: the cholesterol is non-horizontal thing that does not suspend flyspeck if it notches Majorana.; int2 & int3 -> hypothesis; __PROVED__