the Hemingwayesqueness does not occur if the on-streetness occurs.
sent1: the remonstrating Franck happens. sent2: the Hemingwayesqueness occurs if the on-streetness happens. sent3: the senatorialness does not occur. sent4: that the penumbralness but not the escalation occurs is triggered by that the involution does not occur. sent5: the remonstrating gadfly happens if the fact that both the non-on-streetness and the non-Hemingwayesqueness occurs is not right. sent6: that the remonstrating Franck and the Hemingwayesqueness occurs results in that the on-streetness happens. sent7: if the penumbralness happens then the fact that the fact that the non-on-streetness and the non-Hemingwayesqueness occurs is false is right.
void -> assump2: Let's assume that the fact that the on-streetness occurs is not wrong.; void -> assump1: Let's assume that the Hemingwayesqueness happens.; sent1 & assump1 -> int1: the remonstrating Franck happens and the Hemingwayesqueness happens.;
the remonstrating gadfly and the saltiness occurs.
$hypothesis$ = the Hemingwayesqueness does not occur if the on-streetness occurs. ; $context$ = sent1: the remonstrating Franck happens. sent2: the Hemingwayesqueness occurs if the on-streetness happens. sent3: the senatorialness does not occur. sent4: that the penumbralness but not the escalation occurs is triggered by that the involution does not occur. sent5: the remonstrating gadfly happens if the fact that both the non-on-streetness and the non-Hemingwayesqueness occurs is not right. sent6: that the remonstrating Franck and the Hemingwayesqueness occurs results in that the on-streetness happens. sent7: if the penumbralness happens then the fact that the fact that the non-on-streetness and the non-Hemingwayesqueness occurs is false is right. ; $proof$ = 
void -> assump2: Let's assume that the fact that the on-streetness occurs is not wrong.; void -> assump1: Let's assume that the Hemingwayesqueness happens.; sent1 & assump1 -> int1: the remonstrating Franck happens and the Hemingwayesqueness happens.; __UNKNOWN__