there exists something such that if that it is a kind of a contraction is true it does bereave.
sent1: the Burgundy does not bereave. sent2: the fact that the truncheon is a stile is true if it is not a translator. sent3: something that bereaves is not a contraction. sent4: if the truncheon does bereave it is not a contraction. sent5: if something is not a kind of a scout it does relay. sent6: the truncheon is not cadastral. sent7: the truncheon is not a pounce. sent8: there is something such that if it is cadastral then it is a kind of a sialolith. sent9: if something is not a pounce then it is a tirade. sent10: something is a rimu if it is not bibliophilic. sent11: something is not a contraction if it does not bereave. sent12: the metacarpal is not a carcinogen. sent13: something is not a sialolith if it is not a kind of a Stheno. sent14: the chondrichthian does not lysogenize Leiopelmatidae. sent15: the truncheon is a grotesqueness. sent16: the truncheon is a kind of a quotation. sent17: something that is not a Decapterus does not lysogenize Aesir.
sent11 -> int1: if the truncheon does not bereave then it is not a contraction.; void -> assump2: Let's assume that the truncheon does not bereave.; int1 & assump2 -> int2: the truncheon is not a contraction.; void -> assump1: Let's assume that the truncheon is a kind of a contraction.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the truncheon bereaves.; [assump1] & int4 -> int5: if the truncheon is a contraction then it does bereave.; int5 -> hypothesis;
$hypothesis$ = there exists something such that if that it is a kind of a contraction is true it does bereave. ; $context$ = sent1: the Burgundy does not bereave. sent2: the fact that the truncheon is a stile is true if it is not a translator. sent3: something that bereaves is not a contraction. sent4: if the truncheon does bereave it is not a contraction. sent5: if something is not a kind of a scout it does relay. sent6: the truncheon is not cadastral. sent7: the truncheon is not a pounce. sent8: there is something such that if it is cadastral then it is a kind of a sialolith. sent9: if something is not a pounce then it is a tirade. sent10: something is a rimu if it is not bibliophilic. sent11: something is not a contraction if it does not bereave. sent12: the metacarpal is not a carcinogen. sent13: something is not a sialolith if it is not a kind of a Stheno. sent14: the chondrichthian does not lysogenize Leiopelmatidae. sent15: the truncheon is a grotesqueness. sent16: the truncheon is a kind of a quotation. sent17: something that is not a Decapterus does not lysogenize Aesir. ; $proof$ = 
sent11 -> int1: if the truncheon does not bereave then it is not a contraction.; void -> assump2: Let's assume that the truncheon does not bereave.; int1 & assump2 -> int2: the truncheon is not a contraction.; void -> assump1: Let's assume that the truncheon is a kind of a contraction.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the truncheon bereaves.; [assump1] & int4 -> int5: if the truncheon is a contraction then it does bereave.; int5 -> hypothesis; __PROVED__