the Laosness does not occur.
sent1: the refining Harlem does not occur and the autumnalness occurs. sent2: the budgeting opening and the metarule happens. sent3: not the vigesimalness but the clockwiseness happens. sent4: the absenteeism and the motorization occurs. sent5: if the autumnalness happens and the metarule happens then the Laosness does not occur. sent6: if the periodonticsness happens and the vertebrateness happens the mottling does not occur. sent7: the fact that the reconciliation and the freelanceness occurs hold. sent8: that the autumnalness does not occur brings about that the Laosness and the refining Harlem occurs.
sent1 -> int1: the autumnalness occurs.; sent2 -> int2: the fact that the metarule happens hold.; int1 & int2 -> int3: both the autumnalness and the metarule occurs.; int3 & sent5 -> hypothesis;
the Laos occurs.
$hypothesis$ = the Laosness does not occur. ; $context$ = sent1: the refining Harlem does not occur and the autumnalness occurs. sent2: the budgeting opening and the metarule happens. sent3: not the vigesimalness but the clockwiseness happens. sent4: the absenteeism and the motorization occurs. sent5: if the autumnalness happens and the metarule happens then the Laosness does not occur. sent6: if the periodonticsness happens and the vertebrateness happens the mottling does not occur. sent7: the fact that the reconciliation and the freelanceness occurs hold. sent8: that the autumnalness does not occur brings about that the Laosness and the refining Harlem occurs. ; $proof$ = 
sent1 -> int1: the autumnalness occurs.; sent2 -> int2: the fact that the metarule happens hold.; int1 & int2 -> int3: both the autumnalness and the metarule occurs.; int3 & sent5 -> hypothesis; __PROVED__