the duplication and/or the gathering Michigander happens.
sent1: the fact that the invoking Juggernaut occurs and the involution does not occur hold. sent2: that the unshrinkableness does not occur is triggered by that the patellarness occurs and the botryoidness occurs. sent3: if the heterotrophicness does not occur that the botryoidness and the patellarness happens is not right. sent4: if the heterotrophicness happens and/or the patellarness does not occur the Franciscan happens. sent5: both the guessing firepower and the unshrinkableness happens if the demagoguery does not occur. sent6: that the guessing firepower does not occur causes the unshrinkableness and/or that the duplication happens. sent7: the botryoidness occurs and the heterotrophicness occurs. sent8: the demagoguery does not occur if the invoking Juggernaut but not the involution occurs. sent9: that either the duplication or the gathering Michigander or both occurs is not true if the fact that the botryoidness does not occur is right.
sent7 -> int1: the botryoidness occurs.; void -> assump1: Let's assume that the patellarness happens.; int1 & assump1 -> int2: the patellarness and the botryoidness happens.; int2 & sent2 -> int3: the unshrinkableness does not occur.; sent8 & sent1 -> int4: that the demagoguery does not occur is not incorrect.; sent5 & int4 -> int5: the guessing firepower and the unshrinkableness occurs.; int5 -> int6: the unshrinkableness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the patellarness does not occur hold.;
the Franciscanness occurs and the unseaworthiness occurs.
$hypothesis$ = the duplication and/or the gathering Michigander happens. ; $context$ = sent1: the fact that the invoking Juggernaut occurs and the involution does not occur hold. sent2: that the unshrinkableness does not occur is triggered by that the patellarness occurs and the botryoidness occurs. sent3: if the heterotrophicness does not occur that the botryoidness and the patellarness happens is not right. sent4: if the heterotrophicness happens and/or the patellarness does not occur the Franciscan happens. sent5: both the guessing firepower and the unshrinkableness happens if the demagoguery does not occur. sent6: that the guessing firepower does not occur causes the unshrinkableness and/or that the duplication happens. sent7: the botryoidness occurs and the heterotrophicness occurs. sent8: the demagoguery does not occur if the invoking Juggernaut but not the involution occurs. sent9: that either the duplication or the gathering Michigander or both occurs is not true if the fact that the botryoidness does not occur is right. ; $proof$ = 
sent7 -> int1: the botryoidness occurs.; void -> assump1: Let's assume that the patellarness happens.; int1 & assump1 -> int2: the patellarness and the botryoidness happens.; int2 & sent2 -> int3: the unshrinkableness does not occur.; sent8 & sent1 -> int4: that the demagoguery does not occur is not incorrect.; sent5 & int4 -> int5: the guessing firepower and the unshrinkableness occurs.; int5 -> int6: the unshrinkableness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the patellarness does not occur hold.; __UNKNOWN__