the guardianship does not occur.
sent1: the mininess occurs and the detention occurs if the mesonicness does not occur. sent2: if the fact that the guardianship and the grooving Riesman occurs is false then the guardianship does not occur. sent3: the guardianship occurs if the curveting fourteenth does not occur. sent4: the non-mininess is caused by that the force-out and the curveting fourteenth occurs. sent5: the perceptualness happens. sent6: that not the chicane but the mesonicness occurs is not true. sent7: if the interpretation does not occur the absorbableness occurs. sent8: if that the chicane does not occur but the mesonicness happens is incorrect the mesonicness does not occur. sent9: the fact that the IVP happens is correct. sent10: the grooving Riesman happens and the force-out occurs. sent11: that the detention does not occur is prevented by that the mesonicness does not occur. sent12: the centeringness happens.
sent10 -> int1: the force-out happens.; void -> assump1: Let's assume that the fact that the curveting fourteenth happens is right.; int1 & assump1 -> int2: the force-out and the curveting fourteenth happens.; int2 & sent4 -> int3: the mininess does not occur.; sent8 & sent6 -> int4: the mesonicness does not occur.; sent1 & int4 -> int5: the mininess and the detention happens.; int5 -> int6: the mininess occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the curveting fourteenth does not occur.; int8 & sent3 -> hypothesis;
the guardianship does not occur.
$hypothesis$ = the guardianship does not occur. ; $context$ = sent1: the mininess occurs and the detention occurs if the mesonicness does not occur. sent2: if the fact that the guardianship and the grooving Riesman occurs is false then the guardianship does not occur. sent3: the guardianship occurs if the curveting fourteenth does not occur. sent4: the non-mininess is caused by that the force-out and the curveting fourteenth occurs. sent5: the perceptualness happens. sent6: that not the chicane but the mesonicness occurs is not true. sent7: if the interpretation does not occur the absorbableness occurs. sent8: if that the chicane does not occur but the mesonicness happens is incorrect the mesonicness does not occur. sent9: the fact that the IVP happens is correct. sent10: the grooving Riesman happens and the force-out occurs. sent11: that the detention does not occur is prevented by that the mesonicness does not occur. sent12: the centeringness happens. ; $proof$ = 
sent10 -> int1: the force-out happens.; void -> assump1: Let's assume that the fact that the curveting fourteenth happens is right.; int1 & assump1 -> int2: the force-out and the curveting fourteenth happens.; int2 & sent4 -> int3: the mininess does not occur.; sent8 & sent6 -> int4: the mesonicness does not occur.; sent1 & int4 -> int5: the mininess and the detention happens.; int5 -> int6: the mininess occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the curveting fourteenth does not occur.; int8 & sent3 -> hypothesis; __DISPROVED__