the epergne does not pique shoot-'em-up.
sent1: the nutcracker does not frisk dealignment. sent2: something is not non-arithmetical if it is nonsectarian. sent3: the currant is not arithmetical if there is something such that it does not anglicise thurifer. sent4: if the currant does not anglicise patriarchy and does pique shoot-'em-up the epergne pique shoot-'em-up. sent5: that the pulsation anglicises thurifer and does not pique waterway if the wallflower is a mollification is true. sent6: the currant is nonsectarian if it does anglicise patriarchy. sent7: if the epergne is arithmetical or it is amphoric or both then the currant does not pique shoot-'em-up. sent8: that the inositol does not pique shoot-'em-up is true. sent9: The thurifer does not anglicise inositol. sent10: the inositol is a Odessa. sent11: if either the currant does anglicise thurifer or it is arithmetical or both then the inositol does not anglicise patriarchy. sent12: the epergne does not pique shoot-'em-up if the currant is amphoric and/or it does vitrify. sent13: if the fact that the currant is amphoric is correct the epergne does not pique shoot-'em-up. sent14: if something does anglicise thurifer then the inositol is not amphoric. sent15: the wallflower is a mollification if the fallout does frisk dealignment. sent16: the currant piques Fahrenheit if it is not a triviality. sent17: the currant does vitrify if it does not anglicise patriarchy. sent18: if the nutcracker does not frisk dealignment then the fallout does frisk dealignment. sent19: the currant does not pique shoot-'em-up. sent20: something does anglicise thurifer.
void -> assump1: Let's assume that the currant anglicises patriarchy.; sent6 & assump1 -> int1: the currant is not sectarian.; sent2 -> int2: the currant is arithmetical if it is nonsectarian.; int1 & int2 -> int3: the currant is arithmetical.;
the epergne does pique shoot-'em-up.
sent18 & sent1 -> int4: the fallout frisks dealignment.; sent15 & int4 -> int5: the wallflower is a mollification.; sent5 & int5 -> int6: the pulsation does anglicise thurifer and does not pique waterway.; int6 -> int7: the pulsation does anglicise thurifer.; int7 -> int8: something does anglicise thurifer.; int8 & sent14 -> int9: the inositol is not amphoric.; int9 -> int10: something is non-amphoric.;
$hypothesis$ = the epergne does not pique shoot-'em-up. ; $context$ = sent1: the nutcracker does not frisk dealignment. sent2: something is not non-arithmetical if it is nonsectarian. sent3: the currant is not arithmetical if there is something such that it does not anglicise thurifer. sent4: if the currant does not anglicise patriarchy and does pique shoot-'em-up the epergne pique shoot-'em-up. sent5: that the pulsation anglicises thurifer and does not pique waterway if the wallflower is a mollification is true. sent6: the currant is nonsectarian if it does anglicise patriarchy. sent7: if the epergne is arithmetical or it is amphoric or both then the currant does not pique shoot-'em-up. sent8: that the inositol does not pique shoot-'em-up is true. sent9: The thurifer does not anglicise inositol. sent10: the inositol is a Odessa. sent11: if either the currant does anglicise thurifer or it is arithmetical or both then the inositol does not anglicise patriarchy. sent12: the epergne does not pique shoot-'em-up if the currant is amphoric and/or it does vitrify. sent13: if the fact that the currant is amphoric is correct the epergne does not pique shoot-'em-up. sent14: if something does anglicise thurifer then the inositol is not amphoric. sent15: the wallflower is a mollification if the fallout does frisk dealignment. sent16: the currant piques Fahrenheit if it is not a triviality. sent17: the currant does vitrify if it does not anglicise patriarchy. sent18: if the nutcracker does not frisk dealignment then the fallout does frisk dealignment. sent19: the currant does not pique shoot-'em-up. sent20: something does anglicise thurifer. ; $proof$ = 
void -> assump1: Let's assume that the currant anglicises patriarchy.; sent6 & assump1 -> int1: the currant is not sectarian.; sent2 -> int2: the currant is arithmetical if it is nonsectarian.; int1 & int2 -> int3: the currant is arithmetical.; __UNKNOWN__