the fact that the Jeffersonianness does not occur is true.
sent1: the Jeffersonianness does not occur if the pricing troublemaker occurs and/or the tide happens. sent2: the tarnishing paramilitary and the molestation occurs. sent3: if the itineration happens then the fact that that the tarnishing seaborgium but not the salvo occurs is not wrong is not right. sent4: the disciplinariness occurs if the tarnishing seaborgium does not occur. sent5: the decapitation does not occur. sent6: the fact that both the spatiotemporalness and the beguine occurs is not right. sent7: that the disciplinariness happens and the excluding swindler occurs prevents the tarnishing paramilitary. sent8: the itineration occurs. sent9: if the molestation does not occur then the pricing troublemaker does not occur and the tide does not occur. sent10: if that the crustaceousness happens but the sisterliness does not occur does not hold the bisection happens. sent11: the nomotheticness does not occur. sent12: the molestation occurs. sent13: the tarnishing inferiority occurs. sent14: the immunotherapy happens. sent15: that the mingling psycholinguist does not occur and the tarnishing inferiority does not occur is triggered by that the popularization does not occur. sent16: if that the tarnishing seaborgium occurs and the salvo does not occur is not right that the disciplinariness occurs hold. sent17: the tiding does not occur if not the molestation but the pricing troublemaker occurs. sent18: if the mingling psycholinguist does not occur then the molestation does not occur and the pricing troublemaker happens. sent19: the Jeffersonian does not occur if the pricing troublemaker occurs.
sent3 & sent8 -> int1: that the tarnishing seaborgium but not the salvo occurs is false.; int1 & sent16 -> int2: the fact that the disciplinariness occurs is not false.; void -> assump1: Let's assume that the fact that the excluding swindler occurs is true.; int2 & assump1 -> int3: both the disciplinariness and the excluding swindler occurs.; int3 & sent7 -> int4: the tarnishing paramilitary does not occur.; sent2 -> int5: the tarnishing paramilitary occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the excluding swindler does not occur.;
the Jeffersonianness happens.
$hypothesis$ = the fact that the Jeffersonianness does not occur is true. ; $context$ = sent1: the Jeffersonianness does not occur if the pricing troublemaker occurs and/or the tide happens. sent2: the tarnishing paramilitary and the molestation occurs. sent3: if the itineration happens then the fact that that the tarnishing seaborgium but not the salvo occurs is not wrong is not right. sent4: the disciplinariness occurs if the tarnishing seaborgium does not occur. sent5: the decapitation does not occur. sent6: the fact that both the spatiotemporalness and the beguine occurs is not right. sent7: that the disciplinariness happens and the excluding swindler occurs prevents the tarnishing paramilitary. sent8: the itineration occurs. sent9: if the molestation does not occur then the pricing troublemaker does not occur and the tide does not occur. sent10: if that the crustaceousness happens but the sisterliness does not occur does not hold the bisection happens. sent11: the nomotheticness does not occur. sent12: the molestation occurs. sent13: the tarnishing inferiority occurs. sent14: the immunotherapy happens. sent15: that the mingling psycholinguist does not occur and the tarnishing inferiority does not occur is triggered by that the popularization does not occur. sent16: if that the tarnishing seaborgium occurs and the salvo does not occur is not right that the disciplinariness occurs hold. sent17: the tiding does not occur if not the molestation but the pricing troublemaker occurs. sent18: if the mingling psycholinguist does not occur then the molestation does not occur and the pricing troublemaker happens. sent19: the Jeffersonian does not occur if the pricing troublemaker occurs. ; $proof$ = 
sent3 & sent8 -> int1: that the tarnishing seaborgium but not the salvo occurs is false.; int1 & sent16 -> int2: the fact that the disciplinariness occurs is not false.; void -> assump1: Let's assume that the fact that the excluding swindler occurs is true.; int2 & assump1 -> int3: both the disciplinariness and the excluding swindler occurs.; int3 & sent7 -> int4: the tarnishing paramilitary does not occur.; sent2 -> int5: the tarnishing paramilitary occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the excluding swindler does not occur.; __UNKNOWN__