the jukebox is not a ununtrium.
sent1: the confiture does mystify Bromus. sent2: the wheat jazzes disquisition. sent3: if something is not ontogenetic then it does not mystify jukebox. sent4: the deskman does jazz disquisition if the wheat does jazz disquisition. sent5: the EU is a normothermia. sent6: if the fact that the wheat either is octal or does not jazz Weston or both does not hold then it does not mystify jukebox. sent7: the fact that the jukebox is not non-ontogenetic is not wrong if the wheat mystifies Bromus. sent8: the jukebox is waxen if it is both not nominalistic and agraphic. sent9: something that jazzes disquisition is a ununtrium and/or non-gestational. sent10: if the jukebox is waxen it is not a Guy and it jazzes disquisition. sent11: if the jukebox is not a Guy but it jazzes disquisition then that it is gestational is false. sent12: if the fact that something is not gestational is right then it either is not ontogenetic or does not mystify Bromus or both. sent13: that the wheat does not mystify jukebox and does not mystify Bromus is false if the EU is a normothermia. sent14: that the wheat is octal and/or it does not jazz Weston is incorrect. sent15: that the jukebox does not jazz Weston is correct if it does not jazz disquisition and it is a kind of a Guy. sent16: if something that is ontogenetic is not gestational it is not a ununtrium. sent17: the wheat is a proportional. sent18: there exists something such that it does jazz disquisition.
sent6 & sent14 -> int1: the wheat does not mystify jukebox.; void -> assump1: Let's assume that the wheat does not mystify Bromus.; int1 & assump1 -> int2: the wheat does not mystify jukebox and it does not mystify Bromus.; sent13 & sent5 -> int3: the fact that that the wheat does not mystify jukebox and does not mystify Bromus does not hold is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the wheat mystifies Bromus is not incorrect.; int5 & sent7 -> int6: the jukebox is ontogenetic.; sent16 -> int7: if the jukebox is a kind of ontogenetic thing that is not gestational then it is not a kind of a ununtrium.;
the jukebox is a ununtrium.
sent3 -> int8: the jukebox does not mystify jukebox if it is not ontogenetic.;
$hypothesis$ = the jukebox is not a ununtrium. ; $context$ = sent1: the confiture does mystify Bromus. sent2: the wheat jazzes disquisition. sent3: if something is not ontogenetic then it does not mystify jukebox. sent4: the deskman does jazz disquisition if the wheat does jazz disquisition. sent5: the EU is a normothermia. sent6: if the fact that the wheat either is octal or does not jazz Weston or both does not hold then it does not mystify jukebox. sent7: the fact that the jukebox is not non-ontogenetic is not wrong if the wheat mystifies Bromus. sent8: the jukebox is waxen if it is both not nominalistic and agraphic. sent9: something that jazzes disquisition is a ununtrium and/or non-gestational. sent10: if the jukebox is waxen it is not a Guy and it jazzes disquisition. sent11: if the jukebox is not a Guy but it jazzes disquisition then that it is gestational is false. sent12: if the fact that something is not gestational is right then it either is not ontogenetic or does not mystify Bromus or both. sent13: that the wheat does not mystify jukebox and does not mystify Bromus is false if the EU is a normothermia. sent14: that the wheat is octal and/or it does not jazz Weston is incorrect. sent15: that the jukebox does not jazz Weston is correct if it does not jazz disquisition and it is a kind of a Guy. sent16: if something that is ontogenetic is not gestational it is not a ununtrium. sent17: the wheat is a proportional. sent18: there exists something such that it does jazz disquisition. ; $proof$ = 
sent6 & sent14 -> int1: the wheat does not mystify jukebox.; void -> assump1: Let's assume that the wheat does not mystify Bromus.; int1 & assump1 -> int2: the wheat does not mystify jukebox and it does not mystify Bromus.; sent13 & sent5 -> int3: the fact that that the wheat does not mystify jukebox and does not mystify Bromus does not hold is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the wheat mystifies Bromus is not incorrect.; int5 & sent7 -> int6: the jukebox is ontogenetic.; sent16 -> int7: if the jukebox is a kind of ontogenetic thing that is not gestational then it is not a kind of a ununtrium.; __UNKNOWN__