the lithomanticness does not occur.
sent1: the lithomanticness does not occur if the ordering occurs and/or the revocableness occurs. sent2: the announcing Aethusa and the cyanobacterialness occurs if the immunologicalness does not occur. sent3: the interlude happens and the recognition happens if the artillery does not occur. sent4: if the fact that the tribulating echolocation does not occur but the clamoring calcification occurs is not correct the lithomanticness occurs. sent5: that the announcing Aethusa and the immunologicalness occurs is incorrect. sent6: if the announcing Aethusa happens then the fact that the non-medicolegalness and the non-unforgettableness occurs is false. sent7: if the prematureness happens then the tribulating catamaran does not occur or the ascensionalness does not occur or both. sent8: the fact that not the tribulating echolocation but the clamoring calcification happens is not right if the recognition happens. sent9: that the prematureness and the Scrabble occurs is triggered by that the baptism does not occur. sent10: that that the announcing Aethusa does not occur and the immunologicalness occurs is right is not true if the cyanobacterialness occurs. sent11: the announcing Aethusa does not occur but the immunologicalness occurs. sent12: the immunologicalness does not occur if the fact that the order does not occur and/or the revocableness does not occur does not hold. sent13: if the declarativeness does not occur and the improvisation does not occur then the order happens. sent14: the tribulating Pyralis does not occur. sent15: that the tribulating Pyralis does not occur results in that the baptism does not occur and the shimmying does not occur. sent16: that the bizonalness happens is triggered by that the mercy does not occur and the tribulating boson does not occur.
the fact that the medicolegalness does not occur and the unforgettableness does not occur does not hold.
sent15 & sent14 -> int1: the baptism does not occur and the shimmying does not occur.; int1 -> int2: the baptism does not occur.; sent9 & int2 -> int3: the prematureness and the Scrabble occurs.; int3 -> int4: the prematureness happens.; sent7 & int4 -> int5: either the tribulating catamaran does not occur or the ascensionalness does not occur or both.;
$hypothesis$ = the lithomanticness does not occur. ; $context$ = sent1: the lithomanticness does not occur if the ordering occurs and/or the revocableness occurs. sent2: the announcing Aethusa and the cyanobacterialness occurs if the immunologicalness does not occur. sent3: the interlude happens and the recognition happens if the artillery does not occur. sent4: if the fact that the tribulating echolocation does not occur but the clamoring calcification occurs is not correct the lithomanticness occurs. sent5: that the announcing Aethusa and the immunologicalness occurs is incorrect. sent6: if the announcing Aethusa happens then the fact that the non-medicolegalness and the non-unforgettableness occurs is false. sent7: if the prematureness happens then the tribulating catamaran does not occur or the ascensionalness does not occur or both. sent8: the fact that not the tribulating echolocation but the clamoring calcification happens is not right if the recognition happens. sent9: that the prematureness and the Scrabble occurs is triggered by that the baptism does not occur. sent10: that that the announcing Aethusa does not occur and the immunologicalness occurs is right is not true if the cyanobacterialness occurs. sent11: the announcing Aethusa does not occur but the immunologicalness occurs. sent12: the immunologicalness does not occur if the fact that the order does not occur and/or the revocableness does not occur does not hold. sent13: if the declarativeness does not occur and the improvisation does not occur then the order happens. sent14: the tribulating Pyralis does not occur. sent15: that the tribulating Pyralis does not occur results in that the baptism does not occur and the shimmying does not occur. sent16: that the bizonalness happens is triggered by that the mercy does not occur and the tribulating boson does not occur. ; $proof$ = 
__UNKNOWN__