the fail-safe is consolable and is not diachronic.
sent1: the Ranger is diachronic. sent2: the Ranger is not nonfat. sent3: the fail-safe is consolable. sent4: if the fact that the columbium is both not non-diachronic and not inconsolable is false the Ranger is not non-diachronic. sent5: there is something such that the fact that it dropkicks Ixia and is not a ski does not hold. sent6: that the fail-safe is a kind of a size is not wrong. sent7: if there is something such that the fact that it does dropkick Ixia and it is not a ski is not correct the columbium is not muscular. sent8: if something is not muscular it jiggles and/or is lactic. sent9: the fact that the Ranger is both a syndicate and not nonfat is not true if the fail-safe is not a kind of a syndicate. sent10: something is a kind of fatty thing that is not a semitone if it does dropkick takeoff. sent11: the Ranger does syndicate but it is not nonfat. sent12: the fail-safe does not syndicate if it is diachronic. sent13: the Ranger does dropkick takeoff if the columbium does jiggle.
void -> assump1: Let's assume that the fail-safe is diachronic.; sent12 & assump1 -> int1: the fail-safe does not syndicate.; int1 & sent9 -> int2: the fact that the Ranger syndicates but it is fatty does not hold.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fail-safe is not diachronic.; int4 & sent3 -> hypothesis;
the fail-safe is a kind of a size that is not epidemiologic.
$hypothesis$ = the fail-safe is consolable and is not diachronic. ; $context$ = sent1: the Ranger is diachronic. sent2: the Ranger is not nonfat. sent3: the fail-safe is consolable. sent4: if the fact that the columbium is both not non-diachronic and not inconsolable is false the Ranger is not non-diachronic. sent5: there is something such that the fact that it dropkicks Ixia and is not a ski does not hold. sent6: that the fail-safe is a kind of a size is not wrong. sent7: if there is something such that the fact that it does dropkick Ixia and it is not a ski is not correct the columbium is not muscular. sent8: if something is not muscular it jiggles and/or is lactic. sent9: the fact that the Ranger is both a syndicate and not nonfat is not true if the fail-safe is not a kind of a syndicate. sent10: something is a kind of fatty thing that is not a semitone if it does dropkick takeoff. sent11: the Ranger does syndicate but it is not nonfat. sent12: the fail-safe does not syndicate if it is diachronic. sent13: the Ranger does dropkick takeoff if the columbium does jiggle. ; $proof$ = 
void -> assump1: Let's assume that the fail-safe is diachronic.; sent12 & assump1 -> int1: the fail-safe does not syndicate.; int1 & sent9 -> int2: the fact that the Ranger syndicates but it is fatty does not hold.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fail-safe is not diachronic.; int4 & sent3 -> hypothesis; __PROVED__