the mainness triggers that the drowsing church-state does not occur.
sent1: the fact that the cannulation occurs but the casting does not occur does not hold. sent2: if the fact that the cannulation does not occur and the cast does not occur is wrong the aggro does not occur. sent3: the casting happens. sent4: the drowsing church-state occurs if the mainness happens and the reciprocating ullage happens. sent5: the drowsing church-state happens. sent6: the fact that if the aggro does not occur the fact that the drowsing jade occurs or the reciprocating massicot does not occur or both is not false is correct. sent7: the reciprocating ullage occurs if the reciprocating massicot does not occur. sent8: the aggro does not occur if the cannulation happens. sent9: that the mainness occurs and the reciprocating ullage happens brings about that the drowsing church-state does not occur. sent10: the fact that the Providence occurs is not false. sent11: if that the drowsing jade occurs is not false the reciprocating ullage happens.
void -> assump2: Let's assume that the cannulation does not occur and the cast does not occur.; assump2 -> int1: the cast does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the cannulation does not occur and the casting does not occur is not true.; int3 & sent2 -> int4: the aggro does not occur.; int4 & sent6 -> int5: the drowsing jade occurs and/or the reciprocating massicot does not occur.; int5 & sent11 & sent7 -> int6: that the reciprocating ullage occurs is not incorrect.; void -> assump1: Let's assume that the mainness happens.; int6 & assump1 -> int7: the mainness occurs and the reciprocating ullage occurs.; int7 & sent9 -> int8: the drowsing church-state does not occur.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the mainness triggers that the drowsing church-state does not occur. ; $context$ = sent1: the fact that the cannulation occurs but the casting does not occur does not hold. sent2: if the fact that the cannulation does not occur and the cast does not occur is wrong the aggro does not occur. sent3: the casting happens. sent4: the drowsing church-state occurs if the mainness happens and the reciprocating ullage happens. sent5: the drowsing church-state happens. sent6: the fact that if the aggro does not occur the fact that the drowsing jade occurs or the reciprocating massicot does not occur or both is not false is correct. sent7: the reciprocating ullage occurs if the reciprocating massicot does not occur. sent8: the aggro does not occur if the cannulation happens. sent9: that the mainness occurs and the reciprocating ullage happens brings about that the drowsing church-state does not occur. sent10: the fact that the Providence occurs is not false. sent11: if that the drowsing jade occurs is not false the reciprocating ullage happens. ; $proof$ = 
void -> assump2: Let's assume that the cannulation does not occur and the cast does not occur.; assump2 -> int1: the cast does not occur.; int1 & sent3 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the cannulation does not occur and the casting does not occur is not true.; int3 & sent2 -> int4: the aggro does not occur.; int4 & sent6 -> int5: the drowsing jade occurs and/or the reciprocating massicot does not occur.; int5 & sent11 & sent7 -> int6: that the reciprocating ullage occurs is not incorrect.; void -> assump1: Let's assume that the mainness happens.; int6 & assump1 -> int7: the mainness occurs and the reciprocating ullage occurs.; int7 & sent9 -> int8: the drowsing church-state does not occur.; [assump1] & int8 -> hypothesis; __PROVED__