the variegating torticollis does not occur.
sent1: both the debacle and the contestableness occurs. sent2: the Light occurs if that the Light does not occur and the reward does not occur is wrong. sent3: that the arsenicalness does not occur and the pitting alluring does not occur is not right. sent4: the fact that the debacle occurs hold. sent5: the galling condenser occurs and the debacle occurs if the contestableness does not occur. sent6: if both the non-multiphaseness and the temperance occurs then the abasement does not occur. sent7: that not the inroad but the pitting alluring happens is triggered by that the abasement does not occur. sent8: that the arsenicalness occurs hold if that the arsenicalness does not occur and the pitting alluring does not occur is not right. sent9: the non-multiphaseness and the temperance happens if the phonicness occurs. sent10: the debacle is triggered by either the non-arsenicalness or the debacle or both. sent11: the galling Bohemian happens. sent12: if the contestableness occurs and the variegating torticollis happens then the arsenical does not occur. sent13: the phonicness happens if both the galling Bohemian and the non-earlyness happens.
sent1 -> int1: the contestableness happens.; void -> assump1: Let's assume that the variegating torticollis happens.; int1 & assump1 -> int2: that the contestableness occurs and the variegating torticollis occurs is right.; int2 & sent12 -> int3: the arsenical does not occur.; sent8 & sent3 -> int4: the arsenical occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the variegating torticollis happens.
$hypothesis$ = the variegating torticollis does not occur. ; $context$ = sent1: both the debacle and the contestableness occurs. sent2: the Light occurs if that the Light does not occur and the reward does not occur is wrong. sent3: that the arsenicalness does not occur and the pitting alluring does not occur is not right. sent4: the fact that the debacle occurs hold. sent5: the galling condenser occurs and the debacle occurs if the contestableness does not occur. sent6: if both the non-multiphaseness and the temperance occurs then the abasement does not occur. sent7: that not the inroad but the pitting alluring happens is triggered by that the abasement does not occur. sent8: that the arsenicalness occurs hold if that the arsenicalness does not occur and the pitting alluring does not occur is not right. sent9: the non-multiphaseness and the temperance happens if the phonicness occurs. sent10: the debacle is triggered by either the non-arsenicalness or the debacle or both. sent11: the galling Bohemian happens. sent12: if the contestableness occurs and the variegating torticollis happens then the arsenical does not occur. sent13: the phonicness happens if both the galling Bohemian and the non-earlyness happens. ; $proof$ = 
sent1 -> int1: the contestableness happens.; void -> assump1: Let's assume that the variegating torticollis happens.; int1 & assump1 -> int2: that the contestableness occurs and the variegating torticollis occurs is right.; int2 & sent12 -> int3: the arsenical does not occur.; sent8 & sent3 -> int4: the arsenical occurs.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __PROVED__