the tourism and the spraying happens.
sent1: if the aging workman does not occur the fact that both the non-actinalness and the pastaness happens is wrong. sent2: if the skid does not occur then the fact that the iambicness does not occur is not wrong. sent3: the pasta occurs. sent4: that the tourism and the spraying happens does not hold if the concretisticness does not occur. sent5: if the nonconformist does not occur the scheme does not occur and the backblast happens. sent6: the irradiating clamshell does not occur but the unwelcomeness happens. sent7: the surgicalness occurs. sent8: that the skidding does not occur leads to that both the non-iambicness and the aging workman occurs. sent9: the shrimp occurs. sent10: the batching yellowwood happens. sent11: the elysianness occurs. sent12: both the batching hatpin and the acronymicness happens. sent13: the iambic does not occur. sent14: if the concretisticness occurs then the actinalness happens. sent15: the standdown occurs if the maxillomandibularness happens. sent16: the affinity occurs. sent17: if the fact that the adduction does not occur hold the verbolatry does not occur and the lexicalizing Jabalpur happens. sent18: if the irradiating mitomycin occurs that not the skid but the iambic occurs is wrong. sent19: if the fact that the actinalness happens hold the tourism occurs. sent20: the concretisticness and the pasta occurs. sent21: if the aging workman occurs then the spraying happens.
sent20 -> int1: the concretisticness occurs.; int1 & sent14 -> int2: the actinalness happens.; int2 & sent19 -> int3: the tourism happens.;
the fact that the tourism and the spraying occurs is false.
$hypothesis$ = the tourism and the spraying happens. ; $context$ = sent1: if the aging workman does not occur the fact that both the non-actinalness and the pastaness happens is wrong. sent2: if the skid does not occur then the fact that the iambicness does not occur is not wrong. sent3: the pasta occurs. sent4: that the tourism and the spraying happens does not hold if the concretisticness does not occur. sent5: if the nonconformist does not occur the scheme does not occur and the backblast happens. sent6: the irradiating clamshell does not occur but the unwelcomeness happens. sent7: the surgicalness occurs. sent8: that the skidding does not occur leads to that both the non-iambicness and the aging workman occurs. sent9: the shrimp occurs. sent10: the batching yellowwood happens. sent11: the elysianness occurs. sent12: both the batching hatpin and the acronymicness happens. sent13: the iambic does not occur. sent14: if the concretisticness occurs then the actinalness happens. sent15: the standdown occurs if the maxillomandibularness happens. sent16: the affinity occurs. sent17: if the fact that the adduction does not occur hold the verbolatry does not occur and the lexicalizing Jabalpur happens. sent18: if the irradiating mitomycin occurs that not the skid but the iambic occurs is wrong. sent19: if the fact that the actinalness happens hold the tourism occurs. sent20: the concretisticness and the pasta occurs. sent21: if the aging workman occurs then the spraying happens. ; $proof$ = 
sent20 -> int1: the concretisticness occurs.; int1 & sent14 -> int2: the actinalness happens.; int2 & sent19 -> int3: the tourism happens.; __UNKNOWN__