if the fact that the singling mousepad happens hold then the damage occurs.
sent1: that not the obligation but the cruelty occurs is incorrect if the Aleutiansness does not occur. sent2: the refund happens and the stroking comparison happens. sent3: if the Aleutiansness does not occur then that the obligation occurs but the cruelty does not occur does not hold. sent4: the fact that the obligation occurs and the cruelty does not occur is false. sent5: if the Aleutiansness does not occur the fact that the obligation does not occur and the cruelty does not occur does not hold. sent6: the damaging occurs if the singling mousepad but not the frame-up occurs. sent7: the fact that the surfacing does not occur and the bicycling Microchiroptera does not occur does not hold if the nastiness does not occur. sent8: the Aleutiansness does not occur if the grazing happens. sent9: the frame-up does not occur if the fact that the obligation does not occur and the cruelty does not occur is not true.
void -> assump1: Let's assume that the singling mousepad happens.; sent2 -> int1: the refund happens.; int1 -> int2: the refunding or the grazing or both occurs.;
$hypothesis$ = if the fact that the singling mousepad happens hold then the damage occurs. ; $context$ = sent1: that not the obligation but the cruelty occurs is incorrect if the Aleutiansness does not occur. sent2: the refund happens and the stroking comparison happens. sent3: if the Aleutiansness does not occur then that the obligation occurs but the cruelty does not occur does not hold. sent4: the fact that the obligation occurs and the cruelty does not occur is false. sent5: if the Aleutiansness does not occur the fact that the obligation does not occur and the cruelty does not occur does not hold. sent6: the damaging occurs if the singling mousepad but not the frame-up occurs. sent7: the fact that the surfacing does not occur and the bicycling Microchiroptera does not occur does not hold if the nastiness does not occur. sent8: the Aleutiansness does not occur if the grazing happens. sent9: the frame-up does not occur if the fact that the obligation does not occur and the cruelty does not occur is not true. ; $proof$ = 
void -> assump1: Let's assume that the singling mousepad happens.; sent2 -> int1: the refund happens.; int1 -> int2: the refunding or the grazing or both occurs.; __UNKNOWN__