the lodging happens.
sent1: if the meeting schorl happens then the underdressing does not occur. sent2: the chaplaincy happens. sent3: the lodging happens if that the chaplaincy occurs and/or the jawlessness happens is not true. sent4: if the fact that the chaplaincy does not occur and/or the jawlessness happens does not hold the lodging occurs. sent5: that the meeting copyist does not occur prevents that the pilosebaceousness does not occur. sent6: the underdressing occurs if the fractionation happens. sent7: the fractionation occurs. sent8: if that the pilosebaceousness occurs is correct then the chaplaincy occurs. sent9: that if the pilosebaceousness occurs then the fact that either the chaplaincy does not occur or the jawlessness happens or both does not hold is right.
void -> assump1: Let's assume that the meeting copyist occurs.; assump1 -> int1: either the meeting copyist occurs or the meeting schorl occurs or both.; sent6 & sent7 -> int2: the underdressing occurs.;
$hypothesis$ = the lodging happens. ; $context$ = sent1: if the meeting schorl happens then the underdressing does not occur. sent2: the chaplaincy happens. sent3: the lodging happens if that the chaplaincy occurs and/or the jawlessness happens is not true. sent4: if the fact that the chaplaincy does not occur and/or the jawlessness happens does not hold the lodging occurs. sent5: that the meeting copyist does not occur prevents that the pilosebaceousness does not occur. sent6: the underdressing occurs if the fractionation happens. sent7: the fractionation occurs. sent8: if that the pilosebaceousness occurs is correct then the chaplaincy occurs. sent9: that if the pilosebaceousness occurs then the fact that either the chaplaincy does not occur or the jawlessness happens or both does not hold is right. ; $proof$ = 
void -> assump1: Let's assume that the meeting copyist occurs.; assump1 -> int1: either the meeting copyist occurs or the meeting schorl occurs or both.; sent6 & sent7 -> int2: the underdressing occurs.; __UNKNOWN__