the Ranger is bromidic.
sent1: the Adam is not cervine. sent2: if the fact that something is a Bierce hold then it is numeric. sent3: if something is numeric then it is not thoughtful. sent4: the Ranger is a kind of a cytoplast. sent5: if the bassoonist is not a trichion the Ranger is a cytoplast. sent6: the Paradise is cervine if the Adam is not cervine and is not extropic. sent7: if the fact that something is not a trichion but a Bierce is incorrect it is not bromidic. sent8: if the Paradise is cervine then it is a Grenadian and is not a kind of a cytoplast. sent9: the fact that the minstrel is a Grenadian is correct. sent10: if the ossification is a spindrift it is not unimodal. sent11: the bassoonist is not a troika if the minstrel is not a troika but a spindrift. sent12: the Ranger is a kind of a cytoplast that is not a spindrift if the bassoonist is not a trichion. sent13: something is a kind of a troika if it is not thoughtful. sent14: the minstrel is a Bierce if the bassoonist is a trichion. sent15: if something is a troika then it is not a Grenadian. sent16: something is numeric but it is not a kind of a clutch if it is a kind of a trichion. sent17: if something is not a spring it is a spindrift and is fermentable. sent18: the bassoonist is both numeric and thoughtful if it is not a troika. sent19: if the six-pack does not casket rundle and it does not casket practiced the fact that the rundle is not a kind of a spring is right. sent20: the Adam is not extropic. sent21: the minstrel is a spindrift if the rundle is a spindrift.
void -> assump1: Let's assume that the bassoonist is a trichion.; sent14 & assump1 -> int1: the fact that the minstrel is a Bierce is not incorrect.; sent2 -> int2: the minstrel is numeric if it is a kind of a Bierce.; int1 & int2 -> int3: the minstrel is numeric.; sent3 -> int4: if the minstrel is numeric then it is not thoughtful.; int3 & int4 -> int5: the minstrel is not thoughtful.; sent13 -> int6: the minstrel is a troika if it is not thoughtful.; int5 & int6 -> int7: the minstrel is a troika.; sent15 -> int8: the minstrel is not Grenadian if it is a troika.; int7 & int8 -> int9: that the minstrel is not a kind of a Grenadian is not wrong.; int9 & sent9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the bassoonist is not a trichion.; int11 & sent12 -> int12: the Ranger is a cytoplast and not a spindrift.;
the rundle is numeric and does not clutch.
sent16 -> int13: the rundle is numeric and is not a kind of a clutch if it is a trichion.;
$hypothesis$ = the Ranger is bromidic. ; $context$ = sent1: the Adam is not cervine. sent2: if the fact that something is a Bierce hold then it is numeric. sent3: if something is numeric then it is not thoughtful. sent4: the Ranger is a kind of a cytoplast. sent5: if the bassoonist is not a trichion the Ranger is a cytoplast. sent6: the Paradise is cervine if the Adam is not cervine and is not extropic. sent7: if the fact that something is not a trichion but a Bierce is incorrect it is not bromidic. sent8: if the Paradise is cervine then it is a Grenadian and is not a kind of a cytoplast. sent9: the fact that the minstrel is a Grenadian is correct. sent10: if the ossification is a spindrift it is not unimodal. sent11: the bassoonist is not a troika if the minstrel is not a troika but a spindrift. sent12: the Ranger is a kind of a cytoplast that is not a spindrift if the bassoonist is not a trichion. sent13: something is a kind of a troika if it is not thoughtful. sent14: the minstrel is a Bierce if the bassoonist is a trichion. sent15: if something is a troika then it is not a Grenadian. sent16: something is numeric but it is not a kind of a clutch if it is a kind of a trichion. sent17: if something is not a spring it is a spindrift and is fermentable. sent18: the bassoonist is both numeric and thoughtful if it is not a troika. sent19: if the six-pack does not casket rundle and it does not casket practiced the fact that the rundle is not a kind of a spring is right. sent20: the Adam is not extropic. sent21: the minstrel is a spindrift if the rundle is a spindrift. ; $proof$ = 
void -> assump1: Let's assume that the bassoonist is a trichion.; sent14 & assump1 -> int1: the fact that the minstrel is a Bierce is not incorrect.; sent2 -> int2: the minstrel is numeric if it is a kind of a Bierce.; int1 & int2 -> int3: the minstrel is numeric.; sent3 -> int4: if the minstrel is numeric then it is not thoughtful.; int3 & int4 -> int5: the minstrel is not thoughtful.; sent13 -> int6: the minstrel is a troika if it is not thoughtful.; int5 & int6 -> int7: the minstrel is a troika.; sent15 -> int8: the minstrel is not Grenadian if it is a troika.; int7 & int8 -> int9: that the minstrel is not a kind of a Grenadian is not wrong.; int9 & sent9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the bassoonist is not a trichion.; int11 & sent12 -> int12: the Ranger is a cytoplast and not a spindrift.; __UNKNOWN__