the freckling tome does not occur.
sent1: the licentiousness occurs if the rigging call-in happens. sent2: that the footlessness occurs is not wrong. sent3: that the rigging call-in occurs is true if the footlessness happens but the inculpatoriness does not occur. sent4: the retardation occurs and the temptation occurs. sent5: that the freckling Angevin does not occur and the distraction does not occur is not true if the licentiousness occurs. sent6: both the airflow and the devices occurs if the licentiousness does not occur. sent7: the distraction occurs if the freckling Angevin occurs. sent8: the devices happens. sent9: the farting cod occurs. sent10: the malpractice occurs and/or the freckling Angevin happens. sent11: that the licentiousness does not occur prevents that the devices does not occur. sent12: if the fact that the farting cod does not occur is not incorrect then that the devices happens and the airflow happens is not right. sent13: the farting cod does not occur and the presidency does not occur if the mid-off happens. sent14: if that the freckling Angevin does not occur and the distraction does not occur is not correct then that the freckling Angevin occurs hold. sent15: that the airflow does not occur is caused by that the distraction and the freckling tome occurs. sent16: that the freckling tome does not occur is prevented by that the freckling Angevin but not the malpractice occurs. sent17: the licentiousness does not occur if the farting cod occurs. sent18: if the malpractice happens then the distraction happens. sent19: if the fact that the devices happens and the airflow happens does not hold the malpractice does not occur.
sent10 & sent18 & sent7 -> int1: the distraction happens.; void -> assump1: Let's assume that the freckling tome happens.; int1 & assump1 -> int2: the distraction and the freckling tome occurs.; int2 & sent15 -> int3: the airflow does not occur.; sent17 & sent9 -> int4: the licentiousness does not occur.; sent6 & int4 -> int5: the airflow occurs and the devices happens.; int5 -> int6: the airflow occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the freckling tome happens.
$hypothesis$ = the freckling tome does not occur. ; $context$ = sent1: the licentiousness occurs if the rigging call-in happens. sent2: that the footlessness occurs is not wrong. sent3: that the rigging call-in occurs is true if the footlessness happens but the inculpatoriness does not occur. sent4: the retardation occurs and the temptation occurs. sent5: that the freckling Angevin does not occur and the distraction does not occur is not true if the licentiousness occurs. sent6: both the airflow and the devices occurs if the licentiousness does not occur. sent7: the distraction occurs if the freckling Angevin occurs. sent8: the devices happens. sent9: the farting cod occurs. sent10: the malpractice occurs and/or the freckling Angevin happens. sent11: that the licentiousness does not occur prevents that the devices does not occur. sent12: if the fact that the farting cod does not occur is not incorrect then that the devices happens and the airflow happens is not right. sent13: the farting cod does not occur and the presidency does not occur if the mid-off happens. sent14: if that the freckling Angevin does not occur and the distraction does not occur is not correct then that the freckling Angevin occurs hold. sent15: that the airflow does not occur is caused by that the distraction and the freckling tome occurs. sent16: that the freckling tome does not occur is prevented by that the freckling Angevin but not the malpractice occurs. sent17: the licentiousness does not occur if the farting cod occurs. sent18: if the malpractice happens then the distraction happens. sent19: if the fact that the devices happens and the airflow happens does not hold the malpractice does not occur. ; $proof$ = 
sent10 & sent18 & sent7 -> int1: the distraction happens.; void -> assump1: Let's assume that the freckling tome happens.; int1 & assump1 -> int2: the distraction and the freckling tome occurs.; int2 & sent15 -> int3: the airflow does not occur.; sent17 & sent9 -> int4: the licentiousness does not occur.; sent6 & int4 -> int5: the airflow occurs and the devices happens.; int5 -> int6: the airflow occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__