the workroom is not butyric and it is not a stepper if that the Popper is a symbology is true.
sent1: something is a kind of a stepper that is not butyric. sent2: if the workroom is not a jug then the Popper is not a kind of a stepper and it is not a jug. sent3: the Popper does jug if a cosmopolitan thing is not haptic. sent4: the workroom is butyric thing that is not a stepper. sent5: if the workroom is a symbology the Popper is not a stepper and not a jug. sent6: the workroom is not a stepper if the Popper is not a stepper. sent7: if something that is butyric is not a stepper the workroom is a kind of a jug. sent8: something is a spell-checker that is not a kind of a sociable. sent9: if something that is a cosmopolitan is haptic the Popper is a jug. sent10: if that the Popper is not a stepper is not incorrect the workroom is butyric and is not a stepper. sent11: there exists something such that it is a spell-checker that is not a kind of a caber. sent12: the workroom is not a stepper. sent13: if the Popper is a stepper and it is butyric then it is not a jug. sent14: the jejunum scouts and it is a kind of a jug. sent15: if the Popper is a symbology then the workroom is butyric but it is not a stepper. sent16: the workroom is not a jug if it is butyric and it is a stepper. sent17: the workroom is a kind of non-butyric thing that is not a stepper if the Popper is not a stepper. sent18: there is something such that it is butyric and it does not jug. sent19: the workroom is a kind of a jug. sent20: the Popper is a shell if something that is a kind of a Jacksonian is not a kind of a jug. sent21: the workroom is not a stepper if the Popper is a kind of a symbology. sent22: there is something such that that it is not haptic is right. sent23: something is cosmopolitan and non-haptic.
sent23 & sent3 -> int1: that the Popper is a kind of a jug is not wrong.; void -> assump1: Let's assume that the Popper is a symbology.; int1 & assump1 -> int2: the Popper does jug and it is a kind of a symbology.;
$hypothesis$ = the workroom is not butyric and it is not a stepper if that the Popper is a symbology is true. ; $context$ = sent1: something is a kind of a stepper that is not butyric. sent2: if the workroom is not a jug then the Popper is not a kind of a stepper and it is not a jug. sent3: the Popper does jug if a cosmopolitan thing is not haptic. sent4: the workroom is butyric thing that is not a stepper. sent5: if the workroom is a symbology the Popper is not a stepper and not a jug. sent6: the workroom is not a stepper if the Popper is not a stepper. sent7: if something that is butyric is not a stepper the workroom is a kind of a jug. sent8: something is a spell-checker that is not a kind of a sociable. sent9: if something that is a cosmopolitan is haptic the Popper is a jug. sent10: if that the Popper is not a stepper is not incorrect the workroom is butyric and is not a stepper. sent11: there exists something such that it is a spell-checker that is not a kind of a caber. sent12: the workroom is not a stepper. sent13: if the Popper is a stepper and it is butyric then it is not a jug. sent14: the jejunum scouts and it is a kind of a jug. sent15: if the Popper is a symbology then the workroom is butyric but it is not a stepper. sent16: the workroom is not a jug if it is butyric and it is a stepper. sent17: the workroom is a kind of non-butyric thing that is not a stepper if the Popper is not a stepper. sent18: there is something such that it is butyric and it does not jug. sent19: the workroom is a kind of a jug. sent20: the Popper is a shell if something that is a kind of a Jacksonian is not a kind of a jug. sent21: the workroom is not a stepper if the Popper is a kind of a symbology. sent22: there is something such that that it is not haptic is right. sent23: something is cosmopolitan and non-haptic. ; $proof$ = 
sent23 & sent3 -> int1: that the Popper is a kind of a jug is not wrong.; void -> assump1: Let's assume that the Popper is a symbology.; int1 & assump1 -> int2: the Popper does jug and it is a kind of a symbology.; __UNKNOWN__