the involucre does not abjure ephah if the jonah is not non-apneic.
sent1: the jonah abjures ephah if the involucre is apneic. sent2: if that the jonah is not apneic and/or does not abjure ephah is wrong it does not criticize Irani. sent3: if the jonah is apneic then it bows scab. sent4: if the jonah does bow scab that the involucre does not magnetize Bowditch and/or it does not criticize Irani is false. sent5: if the fact that the jonah is not apneic and/or criticizes Irani does not hold then that it does not magnetize Bowditch is right. sent6: if the fact that the fact that something does not magnetize Bowditch and/or does not criticize Irani is correct is not true then it does not abjure ephah. sent7: if the fact that something does not magnetize Bowditch and/or does not criticize Irani is false then it abjures ephah. sent8: the catechu does magnetize Bowditch.
void -> assump1: Let's assume that the jonah is apneic.; sent3 & assump1 -> int1: the jonah does bow scab.; int1 & sent4 -> int2: that either the involucre does not magnetize Bowditch or it does not criticize Irani or both is wrong.; sent6 -> int3: if the fact that the fact that the involucre does not magnetize Bowditch and/or does not criticize Irani is incorrect is not incorrect it does not abjure ephah.; int2 & int3 -> int4: the involucre does not abjure ephah.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the involucre does not abjure ephah if the jonah is not non-apneic. ; $context$ = sent1: the jonah abjures ephah if the involucre is apneic. sent2: if that the jonah is not apneic and/or does not abjure ephah is wrong it does not criticize Irani. sent3: if the jonah is apneic then it bows scab. sent4: if the jonah does bow scab that the involucre does not magnetize Bowditch and/or it does not criticize Irani is false. sent5: if the fact that the jonah is not apneic and/or criticizes Irani does not hold then that it does not magnetize Bowditch is right. sent6: if the fact that the fact that something does not magnetize Bowditch and/or does not criticize Irani is correct is not true then it does not abjure ephah. sent7: if the fact that something does not magnetize Bowditch and/or does not criticize Irani is false then it abjures ephah. sent8: the catechu does magnetize Bowditch. ; $proof$ = 
void -> assump1: Let's assume that the jonah is apneic.; sent3 & assump1 -> int1: the jonah does bow scab.; int1 & sent4 -> int2: that either the involucre does not magnetize Bowditch or it does not criticize Irani or both is wrong.; sent6 -> int3: if the fact that the fact that the involucre does not magnetize Bowditch and/or does not criticize Irani is incorrect is not incorrect it does not abjure ephah.; int2 & int3 -> int4: the involucre does not abjure ephah.; [assump1] & int4 -> hypothesis; __PROVED__