the symbolization occurs.
sent1: the crystallineness happens and the intrinsicness happens. sent2: the emblazoning does not occur. sent3: the icing Vistula happens if the corruptness happens. sent4: the picturing occurs. sent5: the spooning brachycephalic happens. sent6: that the dogtrot does not occur is caused by the spooning dink. sent7: not the intrinsicness but the disruption occurs if the spooning dink happens. sent8: both the intrusion and the asterismalness occurs. sent9: the disruption happens if the crystallineness occurs. sent10: the unbuttoning does not occur. sent11: the orthotropousness is triggered by that the dogtrot does not occur but the asterismalness happens. sent12: the retardation does not occur if both the beading thurifer and the citation happens. sent13: that the disruption happens or the spooning dink or both triggers that the dogtrot does not occur. sent14: that the orthotropousness does not occur and the icing Vistula does not occur prevents that the asterismalness occurs. sent15: if the orthotropousness happens and the icing Vistula occurs then the fact that the symbolization does not occur is not false. sent16: the corruptness occurs and the Carthaginianness occurs if the fact that the emblazoning does not occur is correct. sent17: the crystallineness and the symbolization happens if the intrinsicness does not occur.
sent1 -> int1: the crystallineness occurs.; int1 & sent9 -> int2: the disruption occurs.; int2 -> int3: either the disruption or the spooning dink or both happens.; int3 & sent13 -> int4: the dogtrot does not occur.; sent8 -> int5: the asterismalness happens.; int4 & int5 -> int6: not the dogtrot but the asterismalness happens.; int6 & sent11 -> int7: the orthotropousness happens.; sent16 & sent2 -> int8: the corruptness occurs and the Carthaginianness happens.; int8 -> int9: the fact that the corrupting happens is correct.; sent3 & int9 -> int10: the icing Vistula occurs.; int7 & int10 -> int11: both the orthotropousness and the icing Vistula occurs.; int11 & sent15 -> hypothesis;
the symbolization happens.
$hypothesis$ = the symbolization occurs. ; $context$ = sent1: the crystallineness happens and the intrinsicness happens. sent2: the emblazoning does not occur. sent3: the icing Vistula happens if the corruptness happens. sent4: the picturing occurs. sent5: the spooning brachycephalic happens. sent6: that the dogtrot does not occur is caused by the spooning dink. sent7: not the intrinsicness but the disruption occurs if the spooning dink happens. sent8: both the intrusion and the asterismalness occurs. sent9: the disruption happens if the crystallineness occurs. sent10: the unbuttoning does not occur. sent11: the orthotropousness is triggered by that the dogtrot does not occur but the asterismalness happens. sent12: the retardation does not occur if both the beading thurifer and the citation happens. sent13: that the disruption happens or the spooning dink or both triggers that the dogtrot does not occur. sent14: that the orthotropousness does not occur and the icing Vistula does not occur prevents that the asterismalness occurs. sent15: if the orthotropousness happens and the icing Vistula occurs then the fact that the symbolization does not occur is not false. sent16: the corruptness occurs and the Carthaginianness occurs if the fact that the emblazoning does not occur is correct. sent17: the crystallineness and the symbolization happens if the intrinsicness does not occur. ; $proof$ = 
sent1 -> int1: the crystallineness occurs.; int1 & sent9 -> int2: the disruption occurs.; int2 -> int3: either the disruption or the spooning dink or both happens.; int3 & sent13 -> int4: the dogtrot does not occur.; sent8 -> int5: the asterismalness happens.; int4 & int5 -> int6: not the dogtrot but the asterismalness happens.; int6 & sent11 -> int7: the orthotropousness happens.; sent16 & sent2 -> int8: the corruptness occurs and the Carthaginianness happens.; int8 -> int9: the fact that the corrupting happens is correct.; sent3 & int9 -> int10: the icing Vistula occurs.; int7 & int10 -> int11: both the orthotropousness and the icing Vistula occurs.; int11 & sent15 -> hypothesis; __DISPROVED__