the amblyopicness does not occur.
sent1: the fact that the guaranteeing start occurs and the nonretractileness occurs is right. sent2: the crane does not occur. sent3: the salientness does not occur if the nonevent occurs and the crane does not occur. sent4: the guaranteeing start happens but the defusing quinquennium does not occur if the nonretractileness does not occur. sent5: if the nonevent and the crane happens the salient does not occur. sent6: the nonevent but not the crane happens. sent7: if the salientness does not occur that both the nonretractileness and the non-amblyopicness occurs is not right. sent8: the guaranteeing start happens.
sent1 -> int1: the nonretractileness occurs.; void -> assump1: Let's assume that the amblyopicness does not occur.; int1 & assump1 -> int2: the nonretractileness happens but the amblyopicness does not occur.; sent3 & sent6 -> int3: that the salientness does not occur is not false.; sent7 & int3 -> int4: the fact that the nonretractileness and the non-amblyopicness occurs is wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis;
the defusing quinquennium does not occur.
$hypothesis$ = the amblyopicness does not occur. ; $context$ = sent1: the fact that the guaranteeing start occurs and the nonretractileness occurs is right. sent2: the crane does not occur. sent3: the salientness does not occur if the nonevent occurs and the crane does not occur. sent4: the guaranteeing start happens but the defusing quinquennium does not occur if the nonretractileness does not occur. sent5: if the nonevent and the crane happens the salient does not occur. sent6: the nonevent but not the crane happens. sent7: if the salientness does not occur that both the nonretractileness and the non-amblyopicness occurs is not right. sent8: the guaranteeing start happens. ; $proof$ = 
sent1 -> int1: the nonretractileness occurs.; void -> assump1: Let's assume that the amblyopicness does not occur.; int1 & assump1 -> int2: the nonretractileness happens but the amblyopicness does not occur.; sent3 & sent6 -> int3: that the salientness does not occur is not false.; sent7 & int3 -> int4: the fact that the nonretractileness and the non-amblyopicness occurs is wrong.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> hypothesis; __DISPROVED__