the fact that the topographicalness happens if the quarantine happens is not right.
sent1: that not the feinting but the quarantine happens is not right. sent2: if the fact that not the feinting but the petrissage occurs does not hold the topographicalness happens.
void -> assump2: Let's assume that the feint does not occur and the petrissage occurs.; assump2 -> int1: the feinting does not occur.; void -> assump1: Let's assume that the quarantining occurs.; int1 & assump1 -> int2: the feinting does not occur and the quarantining occurs.; int2 & sent1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the feint does not occur and the petrissage occurs is not right.; sent2 & int4 -> int5: the topographicalness occurs.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that the topographicalness happens if the quarantine happens is not right. ; $context$ = sent1: that not the feinting but the quarantine happens is not right. sent2: if the fact that not the feinting but the petrissage occurs does not hold the topographicalness happens. ; $proof$ = 
void -> assump2: Let's assume that the feint does not occur and the petrissage occurs.; assump2 -> int1: the feinting does not occur.; void -> assump1: Let's assume that the quarantining occurs.; int1 & assump1 -> int2: the feinting does not occur and the quarantining occurs.; int2 & sent1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the feint does not occur and the petrissage occurs is not right.; sent2 & int4 -> int5: the topographicalness occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__