both the Tasmanianness and the companying apprenticeship happens.
sent1: the government does not occur. sent2: if the companying argy-bargy does not occur then the impatientness does not occur. sent3: that both the ATM and the lacrimalness happens prevents that the clearing headdress happens. sent4: that the clearing eccentricity happens is prevented by that both the backwardness and the collapse happens. sent5: if the clearing headdress does not occur then the fact that not the assumption but the jingoism happens does not hold. sent6: the fact that the signing astrophysicist occurs and the ATM does not occur does not hold if the lacrimalness does not occur. sent7: if the clearing eccentricity does not occur that the longness and the cytoarchitecturalness happens is not right. sent8: if the government does not occur the unscholarliness and the signing boffin occurs. sent9: the signing boffin and the signing astrophysicist happens if the unscholarliness does not occur. sent10: the externalization does not occur. sent11: if the longness does not occur the glovelessness happens and the Mill happens. sent12: the lacrimalness does not occur if the assumption happens and the clearing headdress occurs. sent13: the jingoism occurs. sent14: if the jingoism does not occur then that the Tasmanianness occurs and the companying apprenticeship occurs is not true. sent15: the fact that the sound happens and the unbosoming does not occur is not correct. sent16: the angelus occurs but the companying argy-bargy does not occur if the Mill occurs. sent17: if the assumption does not occur then the Tasmanianness happens and the companying apprenticeship occurs. sent18: if that the longness occurs and the cytoarchitecturalness occurs does not hold then the fact that the longness does not occur hold. sent19: the guardianship does not occur. sent20: if the impatientness does not occur then the fact that the government does not occur and the unscholarliness does not occur is true. sent21: the mud-brickness and the digestibleness happens if the disharmonizing does not occur. sent22: that the signing boffin happens and the signing astrophysicist happens yields that the ATM does not occur. sent23: that the jingoism occurs brings about that the clearing headdress happens. sent24: the companying brewery and the malversation happens. sent25: that the filling occurs and the companying femur occurs does not hold. sent26: if the fact that the noncommercialness occurs hold the burying occurs.
sent23 & sent13 -> int1: the fact that the clearing headdress happens is true.; void -> assump1: Let's assume that the assumption happens.; int1 & assump1 -> int2: the assumption and the clearing headdress happens.; int2 & sent12 -> int3: the lacrimalness does not occur.; int3 & sent6 -> int4: the fact that the signing astrophysicist occurs but the ATM does not occur is incorrect.; sent8 & sent1 -> int5: the unscholarliness occurs and the signing boffin happens.; int5 -> int6: the signing boffin occurs.;
that that the Tasmanianness happens and the companying apprenticeship happens is not right hold.
$hypothesis$ = both the Tasmanianness and the companying apprenticeship happens. ; $context$ = sent1: the government does not occur. sent2: if the companying argy-bargy does not occur then the impatientness does not occur. sent3: that both the ATM and the lacrimalness happens prevents that the clearing headdress happens. sent4: that the clearing eccentricity happens is prevented by that both the backwardness and the collapse happens. sent5: if the clearing headdress does not occur then the fact that not the assumption but the jingoism happens does not hold. sent6: the fact that the signing astrophysicist occurs and the ATM does not occur does not hold if the lacrimalness does not occur. sent7: if the clearing eccentricity does not occur that the longness and the cytoarchitecturalness happens is not right. sent8: if the government does not occur the unscholarliness and the signing boffin occurs. sent9: the signing boffin and the signing astrophysicist happens if the unscholarliness does not occur. sent10: the externalization does not occur. sent11: if the longness does not occur the glovelessness happens and the Mill happens. sent12: the lacrimalness does not occur if the assumption happens and the clearing headdress occurs. sent13: the jingoism occurs. sent14: if the jingoism does not occur then that the Tasmanianness occurs and the companying apprenticeship occurs is not true. sent15: the fact that the sound happens and the unbosoming does not occur is not correct. sent16: the angelus occurs but the companying argy-bargy does not occur if the Mill occurs. sent17: if the assumption does not occur then the Tasmanianness happens and the companying apprenticeship occurs. sent18: if that the longness occurs and the cytoarchitecturalness occurs does not hold then the fact that the longness does not occur hold. sent19: the guardianship does not occur. sent20: if the impatientness does not occur then the fact that the government does not occur and the unscholarliness does not occur is true. sent21: the mud-brickness and the digestibleness happens if the disharmonizing does not occur. sent22: that the signing boffin happens and the signing astrophysicist happens yields that the ATM does not occur. sent23: that the jingoism occurs brings about that the clearing headdress happens. sent24: the companying brewery and the malversation happens. sent25: that the filling occurs and the companying femur occurs does not hold. sent26: if the fact that the noncommercialness occurs hold the burying occurs. ; $proof$ = 
sent23 & sent13 -> int1: the fact that the clearing headdress happens is true.; void -> assump1: Let's assume that the assumption happens.; int1 & assump1 -> int2: the assumption and the clearing headdress happens.; int2 & sent12 -> int3: the lacrimalness does not occur.; int3 & sent6 -> int4: the fact that the signing astrophysicist occurs but the ATM does not occur is incorrect.; sent8 & sent1 -> int5: the unscholarliness occurs and the signing boffin happens.; int5 -> int6: the signing boffin occurs.; __UNKNOWN__