the fact that if the cooling does not occur the aerobicsness does not occur and/or the fortune does not occur is false.
sent1: if the fact that the fact that the investing murre does not occur and the concretisticness does not occur hold does not hold the fact that the exploiting does not occur hold. sent2: if the exploiting does not occur then the livery does not occur and the immiscibleness does not occur. sent3: if the hypnotism does not occur and the cooling does not occur then the fortune does not occur. sent4: that the sinking does not occur is true if the fadeout but not the counterpoint occurs. sent5: that the unloosing krypton happens is not incorrect. sent6: if the bottomlessness does not occur the fortune happens but the protestation does not occur. sent7: if the fact that the unloosing krypton and the hypnotism occurs hold then the unloosing Ni-resist does not occur. sent8: if the hypnotism does not occur and the cooling does not occur then the fact that the fortune happens is not incorrect. sent9: if the unloosing damselfly does not occur that the bottomlessness happens and the investing Chlorophthalmidae does not occur does not hold. sent10: if the sinking does not occur that the aerobicsness but not the abnegation happens does not hold. sent11: the abnegation occurs. sent12: if the hypnotism does not occur and the cooling happens the fortune does not occur. sent13: the non-aerobicsness and/or that the fortune does not occur is caused by that the cooling happens. sent14: if the immiscibleness does not occur the fadeout occurs and the counterpoint does not occur. sent15: if the aerobicsness does not occur the fact that the unloosing Ni-resist but not the cooling happens is incorrect. sent16: either the non-aerobicsness or that the fortune occurs or both is triggered by the non-coolingness. sent17: the non-aerobicsness and/or the fortune occurs. sent18: if the fact that the bottomlessness but not the investing Chlorophthalmidae occurs does not hold then the bottomlessness does not occur. sent19: that the uncousinliness occurs is caused by that the unloosing krypton but not the hypnotism occurs. sent20: the agitation happens if the fact that the unloosing Ni-resist occurs and the cooling does not occur is wrong. sent21: that the aerobicsness occurs and/or that the fortune does not occur is caused by the non-coolingness. sent22: either the aerobicsness happens or the fortune does not occur or both. sent23: the unloosing Ni-resist and the abnegation occurs.
void -> assump1: Let's assume that the hypnotism occurs.; sent5 & assump1 -> int1: the unloosing krypton happens and the hypnotism happens.; int1 & sent7 -> int2: the unloosing Ni-resist does not occur.; sent23 -> int3: the unloosing Ni-resist happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hypnotism does not occur.; void -> assump2: Let's assume that the cooling does not occur.; int5 & assump2 -> int6: the hypnotism does not occur and the coolingness does not occur.; int6 & sent3 -> int7: the fact that the fortune does not occur is not wrong.; int7 -> int8: the aerobicsness does not occur or the fortune does not occur or both.; [assump2] & int8 -> hypothesis;
the uncousinliness and the agitation occurs.
$hypothesis$ = the fact that if the cooling does not occur the aerobicsness does not occur and/or the fortune does not occur is false. ; $context$ = sent1: if the fact that the fact that the investing murre does not occur and the concretisticness does not occur hold does not hold the fact that the exploiting does not occur hold. sent2: if the exploiting does not occur then the livery does not occur and the immiscibleness does not occur. sent3: if the hypnotism does not occur and the cooling does not occur then the fortune does not occur. sent4: that the sinking does not occur is true if the fadeout but not the counterpoint occurs. sent5: that the unloosing krypton happens is not incorrect. sent6: if the bottomlessness does not occur the fortune happens but the protestation does not occur. sent7: if the fact that the unloosing krypton and the hypnotism occurs hold then the unloosing Ni-resist does not occur. sent8: if the hypnotism does not occur and the cooling does not occur then the fact that the fortune happens is not incorrect. sent9: if the unloosing damselfly does not occur that the bottomlessness happens and the investing Chlorophthalmidae does not occur does not hold. sent10: if the sinking does not occur that the aerobicsness but not the abnegation happens does not hold. sent11: the abnegation occurs. sent12: if the hypnotism does not occur and the cooling happens the fortune does not occur. sent13: the non-aerobicsness and/or that the fortune does not occur is caused by that the cooling happens. sent14: if the immiscibleness does not occur the fadeout occurs and the counterpoint does not occur. sent15: if the aerobicsness does not occur the fact that the unloosing Ni-resist but not the cooling happens is incorrect. sent16: either the non-aerobicsness or that the fortune occurs or both is triggered by the non-coolingness. sent17: the non-aerobicsness and/or the fortune occurs. sent18: if the fact that the bottomlessness but not the investing Chlorophthalmidae occurs does not hold then the bottomlessness does not occur. sent19: that the uncousinliness occurs is caused by that the unloosing krypton but not the hypnotism occurs. sent20: the agitation happens if the fact that the unloosing Ni-resist occurs and the cooling does not occur is wrong. sent21: that the aerobicsness occurs and/or that the fortune does not occur is caused by the non-coolingness. sent22: either the aerobicsness happens or the fortune does not occur or both. sent23: the unloosing Ni-resist and the abnegation occurs. ; $proof$ = 
void -> assump1: Let's assume that the hypnotism occurs.; sent5 & assump1 -> int1: the unloosing krypton happens and the hypnotism happens.; int1 & sent7 -> int2: the unloosing Ni-resist does not occur.; sent23 -> int3: the unloosing Ni-resist happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the hypnotism does not occur.; void -> assump2: Let's assume that the cooling does not occur.; int5 & assump2 -> int6: the hypnotism does not occur and the coolingness does not occur.; int6 & sent3 -> int7: the fact that the fortune does not occur is not wrong.; int7 -> int8: the aerobicsness does not occur or the fortune does not occur or both.; [assump2] & int8 -> hypothesis; __DISPROVED__