the ninepins does not occur.
sent1: if both the fixing affirmation and the synchronization occurs the ninepins does not occur. sent2: the reconciling happens. sent3: that either the redaction happens or the grinding happens or both is brought about by that the commandment does not occur. sent4: the triumph occurs and the articling chondrichthian happens. sent5: the flimsiness occurs. sent6: that the synchronization happens is correct if the grinding occurs. sent7: the fixing affirmation occurs. sent8: the triumph happens. sent9: the synchronization happens if the redaction happens. sent10: if that the euclidianness does not occur is correct the combat occurs or the parsing analogy occurs or both. sent11: the chiropractic occurs. sent12: the lacing minuet and the corinthianness occurs. sent13: if the praetorianness happens and the coastalness occurs the commandment does not occur. sent14: the feminine happens. sent15: that the chiropractic occurs prevents that the articling Wei does not occur. sent16: the coastalness happens.
sent15 & sent11 -> int1: the articling Wei happens.;
$hypothesis$ = the ninepins does not occur. ; $context$ = sent1: if both the fixing affirmation and the synchronization occurs the ninepins does not occur. sent2: the reconciling happens. sent3: that either the redaction happens or the grinding happens or both is brought about by that the commandment does not occur. sent4: the triumph occurs and the articling chondrichthian happens. sent5: the flimsiness occurs. sent6: that the synchronization happens is correct if the grinding occurs. sent7: the fixing affirmation occurs. sent8: the triumph happens. sent9: the synchronization happens if the redaction happens. sent10: if that the euclidianness does not occur is correct the combat occurs or the parsing analogy occurs or both. sent11: the chiropractic occurs. sent12: the lacing minuet and the corinthianness occurs. sent13: if the praetorianness happens and the coastalness occurs the commandment does not occur. sent14: the feminine happens. sent15: that the chiropractic occurs prevents that the articling Wei does not occur. sent16: the coastalness happens. ; $proof$ = 
sent15 & sent11 -> int1: the articling Wei happens.; __UNKNOWN__