the consigner does alibi strung if the Midway alibis reverence.
sent1: the Midway does alibi reverence and is earthy. sent2: the Midway does alibi reverence and is earthy if the consigner does not alibi strung. sent3: if the consigner does not alibi strung then the Midway does not alibi reverence but it is earthy. sent4: the fact that the Midway is not non-earthy is not false if the consigner does not alibi strung. sent5: something does alibi strung if it does alibi consigner. sent6: the Midway is earthy. sent7: the Midway does alibi strung. sent8: the consigner is not earthy. sent9: the consigner does alibi reverence.
void -> assump1: Let's assume that the consigner does not alibi strung.; sent3 & assump1 -> int1: the Midway does not alibi reverence but it is earthy.; int1 -> int2: the Midway does not alibi reverence.; void -> assump2: Let's assume that the Midway does alibi reverence.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the consigner does alibi strung.; [assump2] & int4 -> hypothesis;
the Midway alibis strung.
sent5 -> int5: the Midway does alibi strung if it does alibi consigner.;
$hypothesis$ = the consigner does alibi strung if the Midway alibis reverence. ; $context$ = sent1: the Midway does alibi reverence and is earthy. sent2: the Midway does alibi reverence and is earthy if the consigner does not alibi strung. sent3: if the consigner does not alibi strung then the Midway does not alibi reverence but it is earthy. sent4: the fact that the Midway is not non-earthy is not false if the consigner does not alibi strung. sent5: something does alibi strung if it does alibi consigner. sent6: the Midway is earthy. sent7: the Midway does alibi strung. sent8: the consigner is not earthy. sent9: the consigner does alibi reverence. ; $proof$ = 
void -> assump1: Let's assume that the consigner does not alibi strung.; sent3 & assump1 -> int1: the Midway does not alibi reverence but it is earthy.; int1 -> int2: the Midway does not alibi reverence.; void -> assump2: Let's assume that the Midway does alibi reverence.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the consigner does alibi strung.; [assump2] & int4 -> hypothesis; __PROVED__