the kerchief is a kind of a beneficiary.
sent1: if the microfossil is both not a anticoagulant and lawful then it is not sulphuric. sent2: the Comrade does not braid Trent and it is non-one-piece. sent3: the fact that the Comrade is the coalition if the Comrade is not a leprosy hold. sent4: the Comrade is not a leprosy if it does not braid Trent and is not one-piece. sent5: the depositor does not build depositor. sent6: something is a kind of a beneficiary that is a saber if that it is not sulphuric is not wrong. sent7: if the fact that the sweatbox does citify heterogeneity and is not a personableness is not true the kerchief does build depositor. sent8: if that the Comrade is not thrifty but it citifies heterogeneity is not incorrect the confinement does not citifies heterogeneity. sent9: if there exists something such that it does not citify heterogeneity that the sweatbox citify heterogeneity and is not a personableness does not hold. sent10: if the microfossil is not sulphuric the depositor sabers. sent11: if something is not sulphuric the fact that it is a kind of non-pubertal thing that sabers is incorrect. sent12: if the depositor is a saber it does build depositor. sent13: the kerchief is not a beneficiary if there exists something such that the fact that it is both not a anticoagulant and lawful does not hold. sent14: The depositor does not build depositor. sent15: something is not thrifty but it does citify heterogeneity if it is a kind of a coalition. sent16: the depositor is not a anticoagulant.
void -> assump1: Let's assume that the microfossil is not a anticoagulant and is lawful.; sent1 & assump1 -> int1: the microfossil is not sulphuric.; int1 & sent10 -> int2: the depositor is a saber.; int2 & sent12 -> int3: the depositor builds depositor.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the microfossil is not a anticoagulant but lawful is not right.; int5 -> int6: there is something such that the fact that it is both not a anticoagulant and lawful is false.; int6 & sent13 -> hypothesis;
that the kerchief is beneficiary is true.
sent6 -> int7: if the kerchief is not sulphuric it is a kind of a beneficiary and is a kind of a saber.;
$hypothesis$ = the kerchief is a kind of a beneficiary. ; $context$ = sent1: if the microfossil is both not a anticoagulant and lawful then it is not sulphuric. sent2: the Comrade does not braid Trent and it is non-one-piece. sent3: the fact that the Comrade is the coalition if the Comrade is not a leprosy hold. sent4: the Comrade is not a leprosy if it does not braid Trent and is not one-piece. sent5: the depositor does not build depositor. sent6: something is a kind of a beneficiary that is a saber if that it is not sulphuric is not wrong. sent7: if the fact that the sweatbox does citify heterogeneity and is not a personableness is not true the kerchief does build depositor. sent8: if that the Comrade is not thrifty but it citifies heterogeneity is not incorrect the confinement does not citifies heterogeneity. sent9: if there exists something such that it does not citify heterogeneity that the sweatbox citify heterogeneity and is not a personableness does not hold. sent10: if the microfossil is not sulphuric the depositor sabers. sent11: if something is not sulphuric the fact that it is a kind of non-pubertal thing that sabers is incorrect. sent12: if the depositor is a saber it does build depositor. sent13: the kerchief is not a beneficiary if there exists something such that the fact that it is both not a anticoagulant and lawful does not hold. sent14: The depositor does not build depositor. sent15: something is not thrifty but it does citify heterogeneity if it is a kind of a coalition. sent16: the depositor is not a anticoagulant. ; $proof$ = 
void -> assump1: Let's assume that the microfossil is not a anticoagulant and is lawful.; sent1 & assump1 -> int1: the microfossil is not sulphuric.; int1 & sent10 -> int2: the depositor is a saber.; int2 & sent12 -> int3: the depositor builds depositor.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the microfossil is not a anticoagulant but lawful is not right.; int5 -> int6: there is something such that the fact that it is both not a anticoagulant and lawful is false.; int6 & sent13 -> hypothesis; __DISPROVED__