the intersecting does not occur.
sent1: that the chrysotherapy does not occur prevents that the Belgianness does not occur. sent2: that the intersecting does not occur is prevented by that not the softness but the insult occurs. sent3: the chrysotherapy does not occur. sent4: if the ink happens then the chrysotherapy occurs and the fibrocalcificness does not occur. sent5: the softness does not occur but the insult occurs if the compromising Malmo happens. sent6: the Belgianness occurs. sent7: if the dabbing quaffer does not occur then both the quantitativeness and the printing occurs. sent8: the compromising Malmo and the undeniableness happens if the Belgianness does not occur. sent9: the undeniableness does not occur if the compromising Malmo does not occur and the softness does not occur. sent10: the iridotomy happens and the scapularness happens if the watching does not occur. sent11: the compromising Malmo does not occur and the fibrocalcificness does not occur. sent12: if the insult occurs then the softness does not occur. sent13: that the fibrocalcificness does not occur is not false. sent14: the inking happens if the quantitativeness occurs. sent15: the insult occurs if the intersecting happens. sent16: if the colorimetricness happens then the dabbing quaffer does not occur and the clitoralness does not occur. sent17: the Belgianness and the undeniableness happens if the chrysotherapy does not occur.
void -> assump1: Let's assume that the intersecting occurs.; sent15 & assump1 -> int1: the insult occurs.; int1 & sent12 -> int2: the softness does not occur.; sent11 -> int3: the compromising Malmo does not occur.; int2 & int3 -> int4: that the compromising Malmo does not occur and the softness does not occur is right.; int4 & sent9 -> int5: the undeniableness does not occur.; sent17 & sent3 -> int6: the Belgian and the undeniableness happens.; int6 -> int7: the undeniableness happens.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the intersecting happens.
$hypothesis$ = the intersecting does not occur. ; $context$ = sent1: that the chrysotherapy does not occur prevents that the Belgianness does not occur. sent2: that the intersecting does not occur is prevented by that not the softness but the insult occurs. sent3: the chrysotherapy does not occur. sent4: if the ink happens then the chrysotherapy occurs and the fibrocalcificness does not occur. sent5: the softness does not occur but the insult occurs if the compromising Malmo happens. sent6: the Belgianness occurs. sent7: if the dabbing quaffer does not occur then both the quantitativeness and the printing occurs. sent8: the compromising Malmo and the undeniableness happens if the Belgianness does not occur. sent9: the undeniableness does not occur if the compromising Malmo does not occur and the softness does not occur. sent10: the iridotomy happens and the scapularness happens if the watching does not occur. sent11: the compromising Malmo does not occur and the fibrocalcificness does not occur. sent12: if the insult occurs then the softness does not occur. sent13: that the fibrocalcificness does not occur is not false. sent14: the inking happens if the quantitativeness occurs. sent15: the insult occurs if the intersecting happens. sent16: if the colorimetricness happens then the dabbing quaffer does not occur and the clitoralness does not occur. sent17: the Belgianness and the undeniableness happens if the chrysotherapy does not occur. ; $proof$ = 
void -> assump1: Let's assume that the intersecting occurs.; sent15 & assump1 -> int1: the insult occurs.; int1 & sent12 -> int2: the softness does not occur.; sent11 -> int3: the compromising Malmo does not occur.; int2 & int3 -> int4: that the compromising Malmo does not occur and the softness does not occur is right.; int4 & sent9 -> int5: the undeniableness does not occur.; sent17 & sent3 -> int6: the Belgian and the undeniableness happens.; int6 -> int7: the undeniableness happens.; int5 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __PROVED__