the Frost does not occur.
sent1: that the tongue and the sack happens yields that the guaranteeing defoliant does not occur. sent2: if the guaranteeing defoliant does not occur the Booleanness occurs. sent3: the guaranteeing silage occurs and the sack happens. sent4: if the thermocautery occurs that the pig does not occur hold. sent5: the non-lowercaseness is caused by that the mooning happens. sent6: if the fact that the Frost does not occur and the tagging separated does not occur does not hold the scratch does not occur. sent7: the fact that the scratch does not occur and the tagging separated does not occur does not hold if the tongue does not occur. sent8: the Booleanness does not occur. sent9: that the guaranteeing silage does not occur causes that the basipetalness happens and the telepathizing happens. sent10: if that the scratching does not occur and the tagging separated does not occur does not hold the Frost does not occur.
sent3 -> int1: that the sacking happens is not wrong.; void -> assump1: Let's assume that the tonguing happens.; int1 & assump1 -> int2: the tongue occurs and the sack happens.; int2 & sent1 -> int3: the guaranteeing defoliant does not occur.; int3 & sent2 -> int4: the fact that the Booleanness happens is not wrong.; int4 & sent8 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tongue does not occur.; int6 & sent7 -> int7: that the scratch does not occur and the tagging separated does not occur does not hold.; int7 & sent10 -> hypothesis;
the basipetalness and the telepathizing occurs.
$hypothesis$ = the Frost does not occur. ; $context$ = sent1: that the tongue and the sack happens yields that the guaranteeing defoliant does not occur. sent2: if the guaranteeing defoliant does not occur the Booleanness occurs. sent3: the guaranteeing silage occurs and the sack happens. sent4: if the thermocautery occurs that the pig does not occur hold. sent5: the non-lowercaseness is caused by that the mooning happens. sent6: if the fact that the Frost does not occur and the tagging separated does not occur does not hold the scratch does not occur. sent7: the fact that the scratch does not occur and the tagging separated does not occur does not hold if the tongue does not occur. sent8: the Booleanness does not occur. sent9: that the guaranteeing silage does not occur causes that the basipetalness happens and the telepathizing happens. sent10: if that the scratching does not occur and the tagging separated does not occur does not hold the Frost does not occur. ; $proof$ = 
sent3 -> int1: that the sacking happens is not wrong.; void -> assump1: Let's assume that the tonguing happens.; int1 & assump1 -> int2: the tongue occurs and the sack happens.; int2 & sent1 -> int3: the guaranteeing defoliant does not occur.; int3 & sent2 -> int4: the fact that the Booleanness happens is not wrong.; int4 & sent8 -> int5: this is contradiction.; [assump1] & int5 -> int6: the tongue does not occur.; int6 & sent7 -> int7: that the scratch does not occur and the tagging separated does not occur does not hold.; int7 & sent10 -> hypothesis; __PROVED__