that the fact that the bolide does diffract hold if that the Slav fawns hold hold.
sent1: the Slav is not a fawn if it moos. sent2: that the Slav is basidial a moo is false if the bolide does not diffract. sent3: if the gametangium does fry financing the fact that it is not a Ruritanian and is not a redbird is wrong. sent4: something is a fawn if the fact that it is basidial and it is not a kind of a moo is wrong. sent5: something is not astomatous but impermeable if it does not ramble. sent6: the gametangium fries financing if there is something such that it is not testate and it stages sander. sent7: the Slav is stabling. sent8: if that something does eviscerate gametangium but it is not a triskelion is wrong it is not tomentose. sent9: that something is a saccade but it is not a moo does not hold if it does diffract. sent10: something is not testate and stages sander. sent11: if the fact that something is not a Ruritanian and it is not a redbird is not correct it is not a ramble. sent12: the Slav lathers bolide. sent13: if there is something such that the fact that it is a kind of a vestryman and is a kind of a clabber is incorrect then the bolide is not a kind of a fawn. sent14: if the bolide does not diffract then the fact that the Slav is basidial but not a moo is false. sent15: if something is a kind of a moo it is not a kind of a fawn. sent16: that the softwood lathers glassmaker is right. sent17: that something is a vestryman and it is a clabber does not hold if it is not astomatous. sent18: the Slav is a fawn if the fact that it is basidial thing that is not a moo is not true. sent19: the fact that the Slav is basidial and a moo is not true. sent20: if that something is nonexistent thing that is not an arrhythmia does not hold then the fact that it is not a telomerase hold. sent21: if the bolide does not fawn the Slav diffracts.
void -> assump2: Let's assume that the bolide does not diffract.; sent14 & assump2 -> int1: that the Slav is basidial but it is not a moo is incorrect.;
the fact that the Slav is a saccade but it is not a moo does not hold.
sent9 -> int2: if the Slav does diffract the fact that it is a kind of a saccade and it is not a moo does not hold.; sent17 -> int3: if the gametangium is not astomatous then that it is a vestryman that is a kind of a clabber does not hold.; sent5 -> int4: the fact that if that the gametangium does not ramble is not incorrect that the gametangium is not astomatous but it is impermeable hold is true.; sent11 -> int5: if that the gametangium is not Ruritanian and it is not a redbird is false then it does not ramble.; sent10 & sent6 -> int6: the gametangium does fry financing.; sent3 & int6 -> int7: the fact that the gametangium is not a Ruritanian and it is not a redbird is false.; int5 & int7 -> int8: the gametangium is not a ramble.; int4 & int8 -> int9: the gametangium is not astomatous and is impermeable.; int9 -> int10: the gametangium is not astomatous.; int3 & int10 -> int11: that the gametangium is a kind of a vestryman that is a kind of a clabber does not hold.; int11 -> int12: there is something such that that it is a kind of a vestryman and is a clabber is wrong.; int12 & sent13 -> int13: the bolide is not a fawn.; sent21 & int13 -> int14: the Slav diffracts.; int2 & int14 -> hypothesis;
$hypothesis$ = that the fact that the bolide does diffract hold if that the Slav fawns hold hold. ; $context$ = sent1: the Slav is not a fawn if it moos. sent2: that the Slav is basidial a moo is false if the bolide does not diffract. sent3: if the gametangium does fry financing the fact that it is not a Ruritanian and is not a redbird is wrong. sent4: something is a fawn if the fact that it is basidial and it is not a kind of a moo is wrong. sent5: something is not astomatous but impermeable if it does not ramble. sent6: the gametangium fries financing if there is something such that it is not testate and it stages sander. sent7: the Slav is stabling. sent8: if that something does eviscerate gametangium but it is not a triskelion is wrong it is not tomentose. sent9: that something is a saccade but it is not a moo does not hold if it does diffract. sent10: something is not testate and stages sander. sent11: if the fact that something is not a Ruritanian and it is not a redbird is not correct it is not a ramble. sent12: the Slav lathers bolide. sent13: if there is something such that the fact that it is a kind of a vestryman and is a kind of a clabber is incorrect then the bolide is not a kind of a fawn. sent14: if the bolide does not diffract then the fact that the Slav is basidial but not a moo is false. sent15: if something is a kind of a moo it is not a kind of a fawn. sent16: that the softwood lathers glassmaker is right. sent17: that something is a vestryman and it is a clabber does not hold if it is not astomatous. sent18: the Slav is a fawn if the fact that it is basidial thing that is not a moo is not true. sent19: the fact that the Slav is basidial and a moo is not true. sent20: if that something is nonexistent thing that is not an arrhythmia does not hold then the fact that it is not a telomerase hold. sent21: if the bolide does not fawn the Slav diffracts. ; $proof$ = 
void -> assump2: Let's assume that the bolide does not diffract.; sent14 & assump2 -> int1: that the Slav is basidial but it is not a moo is incorrect.; __UNKNOWN__